Relational dual tableau decision procedure for modal logic K.
Joanna Golinska-PilarekEmilio Muñoz-VelascoAngel Mora BonillaPublished in: Log. J. IGPL (2012)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- proof procedure
- theorem proving
- decision making
- model checking
- classical logic
- relational databases
- nonmonotonic logics
- epistemic logic
- dynamic logic
- conditional logic
- decision rules
- data model
- default logic
- description logics
- situation calculus
- explanation based generalization
- decision problems
- machine learning
- desirable properties
- relational data