Dual characterizations for finite lattices via correspondence theory for monotone modal logic.
Sabine FrittellaAlessandra PalmigianoLuigi SantocanalePublished in: J. Log. Comput. (2017)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- situation calculus
- modal operators
- classical logic
- epistemic logic
- dynamic logic
- nonmonotonic logics
- conditional logic
- kripke models
- action theories
- reasoning about actions
- general theory
- initial state
- point correspondences
- boolean algebra
- description logic alc
- expert systems