Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K.
Joanna Golinska-PilarekEmilio Muñoz-VelascoAngel MoraPublished in: SOCO-CISIS-ICEUTE (2013)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- classical logic
- epistemic logic
- default logic
- proof procedure
- nonmonotonic logics
- decision making
- decision makers
- situation calculus
- decision rules
- description logics
- explanation based generalization
- tableau calculus
- conditional logic
- description logic alc
- modal operators
- sequent calculus
- theorem proving
- decision problems
- knowledge representation
- domain knowledge
- multi agent