Inflationary fixed points in modal logic.
Anuj DawarErich GrädelStephan KreutzerPublished in: ACM Trans. Comput. Log. (2004)
Keyphrases
- modal logic
- fixed point
- temporal logic
- inference rules
- fixpoint
- default logic
- sufficient conditions
- dynamical systems
- temporal difference learning
- belief propagation
- epistemic logic
- approximate value iteration
- fixpoint semantics
- situation calculus
- asymptotic properties
- nonmonotonic logics
- logic programs
- linear logic
- desirable properties
- dynamic logic
- graphical models
- reinforcement learning
- modal operators
- prime implicates
- pairwise