A Complete Axiomatization of Propositional Projection Temporal Logic.
Zhenhua DuanNan ZhangPublished in: TASE (2008)
Keyphrases
- temporal logic
- complete axiomatization
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- first order logic
- computation tree logic
- databases
- multi valued
- verification method
- inclusion dependencies
- database management systems
- temporal knowledge
- belief revision
- reactive systems
- inference rules
- dynamic constraints
- linear temporal logic
- integrity constraints
- formal specification language