Sequent Calculi for Indexed Epistemic Logics.
Giovanna CorsiEugenio OrlandelliPublished in: ARQNL@IJCAR (2016)
Keyphrases
- sequent calculi
- modal logic
- epistemic logic
- conditional logic
- modal operators
- cut elimination
- kripke models
- inference rules
- default reasoning
- decision procedures
- belief revision
- temporal logic
- classical logic
- belief change
- nonmonotonic logics
- artificial intelligence
- nonmonotonic reasoning
- satisfiability problem
- data model