The Computational Complexity of Hybrid Temporal Logics.
Carlos ArecesPatrick BlackburnMaarten MarxPublished in: Log. J. IGPL (2000)
Keyphrases
- temporal logic
- computational complexity
- model checking
- mazurkiewicz traces
- modal logic
- concurrent systems
- special case
- satisfiability problem
- transition systems
- temporal knowledge
- linear temporal logic
- high computational complexity
- verification method
- temporal resolution
- artificial intelligence
- bounded model checking
- formal specification
- reactive systems
- lower bound
- memory requirements
- expert systems
- distributed systems
- np hard