On Incompleteness of Multi-dimensional First-order Temporal Logics.
David TomanPublished in: TIME (2003)
Keyphrases
- multi dimensional
- mazurkiewicz traces
- temporal logic
- linear temporal logic
- model checking
- satisfiability problem
- modal logic
- verification method
- first order logic
- temporal epistemic
- concurrent systems
- multiple dimensions
- incomplete information
- high dimensional
- predicate logic
- lower bound
- temporal knowledge
- np complete
- logic programs