The Fixed Point Property in Modal Logic.
Lorenzo SacchettiPublished in: Notre Dame J. Formal Log. (2001)
Keyphrases
- fixed point
- modal logic
- fixed point theorem
- temporal logic
- default logic
- inference rules
- nonmonotonic logics
- sufficient conditions
- epistemic logic
- floating point
- dynamical systems
- classical logic
- situation calculus
- policy iteration
- constraint databases
- dynamic logic
- markov decision processes
- model checking
- finite state
- prime implicates
- post processing