Monodic temporal logic with quantified propositional variables.
Walter HussakPublished in: J. Log. Comput. (2012)
Keyphrases
- temporal logic
- propositional variables
- predicate logic
- logic programming
- propositional logic
- satisfiability problem
- conjunctive normal form
- model checking
- boolean games
- belief revision
- modal logic
- verification method
- linear temporal logic
- logic programs
- computation tree logic
- knowledge base
- propositional formulas
- programming language
- deductive databases
- inference rules
- knowledge representation
- multi agent systems
- search algorithm