Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting.
Christopher HampsonAgi KuruczPublished in: ACM Trans. Comput. Log. (2015)
Keyphrases
- temporal logic
- modal logic
- mazurkiewicz traces
- first order logic
- model checking
- conditional logic
- linear temporal logic
- default logic
- coalition logic
- classical first order logic
- decision procedures
- belief revision
- expressive power
- unions of conjunctive queries
- satisfiability problem
- propositional logic
- epistemic logic
- inference rules
- temporal epistemic
- temporal knowledge
- nonmonotonic logics
- dynamic logic
- classical logic
- horn clauses
- logic programming
- autoepistemic logic
- nonmonotonic reasoning
- default reasoning
- concurrent systems
- modal operators
- predicate logic
- logical formulas
- sufficient conditions
- np complete
- model theoretic
- theorem prover
- situation calculus
- reactive systems
- pspace complete
- propositional variables
- linearly ordered