Topological semantics of conservativity and interpretability logics.
Sohei IwataTaishi KurahashiPublished in: J. Log. Comput. (2021)
Keyphrases
- propositional dynamic logic
- proof theory
- conditional logic
- nonmonotonic logics
- epistemic logic
- modal logic
- higher order logic
- computational properties
- logic programming
- formal semantics
- expressive power
- semantic information
- rule base
- default reasoning
- proof theoretic
- proof procedures
- kripke models
- intuitionistic logic
- valued semantics
- database
- modal operators
- inference rules
- belief revision
- logic programs
- valued logic
- classical logic
- spatial relations
- connected components