A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.
Dorota Leszczynska-JasionPublished in: J. Philos. Log. (2009)
Keyphrases
- modal logic
- nonmonotonic logics
- default logic
- propositional variables
- propositional logic
- proof procedure
- tableau calculus
- first order logic
- decision making
- expressive power
- coalition logic
- logic programming
- decision problems
- decision process
- multi valued
- decision rules
- minimal models
- classical logic
- autoepistemic logic
- decision procedures
- cl pc
- influence diagrams
- conditional logic
- temporal logic
- decision theory
- model checking
- description logics
- data sets
- inference rules
- classical first order logic