Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics.
Matteo TesiPublished in: Stud Logica (2021)
Keyphrases
- modal logic
- sequent calculi
- default logic
- autoepistemic logic
- conditional logic
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- situation calculus
- default theories
- nonmonotonic logics
- default reasoning
- classical logic
- horn clauses
- propositional logic
- sequent calculus
- first order logic
- machine learning
- cut elimination