Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs.
Matthias BaazAlexander LeitschRichard ZachPublished in: CSL (1995)
Keyphrases
- temporal logic
- linear temporal logic
- mazurkiewicz traces
- temporal epistemic
- modal logic
- model checking
- epistemic logic
- predicate logic
- bounded model checking
- conditional logic
- dynamic logic
- satisfiability problem
- classical logic
- concurrent systems
- valued logic
- modal operators
- general logic programs
- model checker
- verification method
- linear time temporal logic
- logical formulas
- transition systems
- answer sets
- computation tree logic
- logic programs
- temporal knowledge
- automata theoretic
- incomplete information
- reactive systems
- nonmonotonic logics
- stable models
- first order logic
- logic programming