Modal Logics Definable by Universal Three-Variable Formulas.
Emanuel KieronskiJakub MichaliszynJan OtopPublished in: FSTTCS (2011)
Keyphrases
- modal logic
- situation calculus
- action theories
- temporal logic
- decision procedures
- modal operators
- inference rules
- epistemic logic
- nonmonotonic logics
- classical logic
- cooperative
- first order logic
- boolean formula
- default logic
- kripke models
- autoepistemic logic
- incomplete information
- knowledge representation
- special case
- expert systems