Temporal Logic in Information Systems.
Jan ChomickiDavid TomanPublished in: Logics for Databases and Information Systems (1998)
Keyphrases
- temporal logic
- information systems
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- verification method
- computation tree logic
- automata theoretic
- temporal knowledge
- formal specification language
- formal verification
- belief revision
- model checker
- artificial intelligence
- linear temporal logic
- temporally extended goals
- mazurkiewicz traces