Expressivity in chain-based modal logics.
Michel MartiGeorge MetcalfePublished in: Arch. Math. Log. (2018)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- default logic
- classical logic
- dynamic logic
- epistemic logic
- conditional logic
- autoepistemic logic
- cooperative
- modal operators
- situation calculus
- satisfiability problem
- belief revision
- dynamic programming
- multi agent systems
- bayesian networks
- kripke models