A new deduction system for deciding validity in modal logic K.
Joanna Golinska-PilarekEmilio Muñoz-VelascoAngel MoraPublished in: Log. J. IGPL (2011)
Keyphrases
- modal logic
- inference rules
- temporal logic
- decision procedures
- epistemic logic
- theorem proving
- classical logic
- dynamic logic
- nonmonotonic logics
- default logic
- logical framework
- theorem prover
- conditional logic
- explanation based generalization
- situation calculus
- model checking
- abductive reasoning
- modal operators
- autoepistemic logic
- sequent calculus