Inflationary Fixed Points in Modal Logic.
Anuj DawarErich GrädelStephan KreutzerPublished in: CSL (2001)
Keyphrases
- random variables
- modal logic
- fixed point
- temporal logic
- inference rules
- fixpoint
- nonmonotonic logics
- sufficient conditions
- epistemic logic
- dynamical systems
- approximate value iteration
- fixpoint semantics
- default logic
- temporal difference learning
- linear logic
- asymptotic properties
- situation calculus
- dynamic logic
- logic programs
- machine learning
- deductive databases
- belief propagation