Coalgebras and Modal Expansions of Logics.
Alexander KurzAlessandra PalmigianoPublished in: CMCS (2004)
Keyphrases
- modal logic
- nonmonotonic logics
- temporal logic
- epistemic logic
- decision procedures
- inference rules
- classical logic
- default logic
- expressive power
- propositional logic
- kripke models
- conditional logic
- knowledge base
- modal operators
- propositional variables
- coalition logic
- model checking
- situation calculus
- propositional calculus
- real time
- description logics
- data structure
- similarity measure
- computer vision
- learning algorithm
- dynamic logic
- proof theoretic
- neural network