On Non-local Propositional and Weak Monodic Quantified CTL.
Sebastian BauerIan M. HodkinsonFrank WolterMichael ZakharyaschevPublished in: J. Log. Comput. (2004)
Keyphrases
- temporal logic
- predicate logic
- model checking
- propositional logic
- computation tree logic
- bounded model checking
- first order logic
- linear temporal logic
- database
- probabilistic logic
- alternating time temporal logic
- strips planning
- epistemic states
- epistemic logic
- formal verification
- multi valued
- formal specification
- belief revision
- high level
- neural network