A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.
Sebastian EnqvistJoshua SackPublished in: CMCS (2014)
Keyphrases
- fixed point
- modal logic
- nonmonotonic logics
- default logic
- modal operators
- horn clauses
- propositional variables
- inference rules
- sufficient conditions
- dynamical systems
- temporal logic
- fixed point theorem
- theorem proving
- floating point
- expressive power
- variational inequalities
- belief propagation
- knowledge representation
- policy iteration
- situation calculus
- constraint databases
- higher order