Categorical and Kripke Semantics for Constructive S4 Modal Logic.
Natasha AlechinaMichael MendlerValeria de PaivaEike RitterPublished in: CSL (2001)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- kripke models
- dynamic logic
- temporal logic
- modal operators
- autoepistemic logic
- inference rules
- decision procedures
- model theoretic
- situation calculus
- classical logic
- default logic
- description logic alc
- artificial intelligence
- sequent calculus
- formal semantics
- categorical data
- semantic information
- logic programming
- default theories
- inductive learning
- belief revision
- model checking
- attribute values
- domain knowledge