A Buchholz Rule for Modal Fixed Point Logics.
Gerhard JägerThomas StuderPublished in: Logica Universalis (2011)
Keyphrases
- fixed point
- modal logic
- nonmonotonic logics
- default logic
- sufficient conditions
- dynamical systems
- temporal logic
- floating point
- fixed point theorem
- expressive power
- modal operators
- image retrieval
- belief propagation
- kripke models
- three dimensional
- constraint databases
- free energy
- variational inequalities
- relational databases
- association rules