The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.
Bartek KlinPublished in: CALCO (2005)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- wavelet transform
- nonmonotonic logics
- epistemic logic
- situation calculus
- default logic
- lifting scheme
- autoepistemic logic
- model checking
- computational properties
- multiresolution
- conditional logic
- classical logic
- data model
- multi agent systems
- dynamic logic