Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting.
Christopher HampsonAgi KuruczPublished in: CoRR (2014)
Keyphrases
- temporal logic
- mazurkiewicz traces
- modal logic
- first order logic
- model checking
- classical first order logic
- linear temporal logic
- conditional logic
- coalition logic
- expressive power
- inference rules
- horn clauses
- default logic
- temporal knowledge
- satisfiability problem
- predicate logic
- dynamic logic
- logic programming
- propositional logic
- epistemic logic
- concurrent systems
- predicate calculus
- temporal epistemic
- sufficient conditions
- belief revision
- knowledge representation
- pspace complete
- classical logic
- transition systems
- propositional variables
- modal operators
- logical formulas
- np complete
- reactive systems
- autoepistemic logic
- verification method
- default reasoning
- bounded model checking
- linearly ordered
- situation calculus