Algebraic Semantics for Coalgebraic Logics.
Clemens KupkeAlexander KurzDirk PattinsonPublished in: CMCS (2004)
Keyphrases
- proof theory
- propositional dynamic logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- proof theoretic
- algebraic structure
- valued semantics
- default reasoning
- formal semantics
- modal logic
- higher order logic
- proof procedures
- modal operators
- logic programming
- computational properties
- dynamic logic
- valued logic
- autoepistemic logic
- model theoretic
- classical logic
- inference rules
- semantic information
- propositional calculus
- mathematical theory
- kripke models
- knowledge representation formalisms
- data sets
- reasoning tasks
- description logics
- higher order
- multi agent systems
- databases