On the Satisfiability Problem for Lamport's Propositional Temporal Logic of Actions and Some of Its Extensions.
Y. S. RamakrishnaPublished in: Fundam. Informaticae (1995)
Keyphrases
- temporal logic
- satisfiability problem
- default logic
- modal logic
- temporally extended
- model checking
- conjunctive normal form
- automata theoretic
- mazurkiewicz traces
- situation calculus
- sat problem
- clause learning
- propositional logic
- computation tree logic
- pspace complete
- belief revision
- stochastic local search algorithms
- stochastic local search
- verification method
- reasoning about actions
- presburger arithmetic
- decision procedures
- linear temporal logic
- knowledge base
- sat instances
- first order logic
- logic programming