Computational complexity of hybrid interval temporal logics.
Przemyslaw Andrzej WalegaPublished in: Ann. Pure Appl. Log. (2023)
Keyphrases
- temporal logic
- computational complexity
- model checking
- mazurkiewicz traces
- modal logic
- concurrent systems
- satisfiability problem
- belief revision
- np complete
- special case
- temporal knowledge
- verification method
- transition systems
- np hard
- predicate logic
- linear temporal logic
- reactive systems
- distributed systems
- decision problems
- knowledge representation
- bounded model checking
- expert systems