Coalgebraic Trace Semantics via Forgetful Logics.
Bartek KlinJurriaan RotPublished in: FoSSaCS (2015)
Keyphrases
- proof theory
- nonmonotonic logics
- propositional dynamic logic
- conditional logic
- epistemic logic
- valued semantics
- modal logic
- formal semantics
- logic programming
- higher order logic
- default reasoning
- classical logic
- proof theoretic
- expressive power
- knowledge representation formalisms
- kripke models
- neural network
- default logic
- valued logic
- model theoretic
- multiple inheritance
- computational properties
- default theories
- nonmonotonic reasoning
- multi agent systems