Interpretability Logics and generalised Veltman Semantics.
Luka MikecMladen VukovicPublished in: J. Symb. Log. (2020)
Keyphrases
- propositional dynamic logic
- proof theory
- nonmonotonic logics
- conditional logic
- epistemic logic
- formal semantics
- logic programming
- proof theoretic
- expressive power
- valued semantics
- inference rules
- higher order logic
- computational properties
- modal logic
- semantic information
- default reasoning
- propositional logic
- proof procedures
- data sets
- theorem prover
- conceptual model
- autoepistemic logic
- reasoning about actions
- belief revision
- automated reasoning