Automated Deduction in a Graphical Temporal Logic.
Louise E. MoserP. M. Melliar-SmithY. S. RamakrishnaGeorge KuttyLaura K. DillonPublished in: J. Appl. Non Class. Logics (1996)
Keyphrases
- temporal logic
- automated deduction
- model checking
- modal logic
- inference rules
- theorem proving
- satisfiability problem
- logic programming
- theorem prover
- verification method
- concurrent systems
- temporal knowledge
- deductive databases
- computation tree logic
- model checker
- transition systems
- belief revision
- database
- temporally extended
- bounded model checking
- automata theoretic