Multi-Valued Modal Fixed Point Logics for Model Checking.
Koki NishizawaPublished in: IEICE Trans. Inf. Syst. (2010)
Keyphrases
- fixed point
- multi valued
- model checking
- modal logic
- temporal logic
- cl pc
- coalition logic
- epistemic logic
- inference rules
- model checker
- transition systems
- modal operators
- finite state
- sufficient conditions
- classical logic
- normal form
- belief propagation
- dynamical systems
- default logic
- dynamic logic
- situation calculus
- graphical models
- boolean functions
- image sequences
- search algorithm
- optical flow
- variational inequalities
- belief change
- computer vision
- expressive power