Decidability of a Partial Order Based Temporal Logic.
Kamal LodayaP. S. ThiagarajanPublished in: ICALP (1993)
Keyphrases
- partial order
- temporal logic
- automata theoretic
- partially ordered
- model checking
- modal logic
- total order
- decision procedures
- description logics
- satisfiability problem
- query answering
- belief revision
- verification method
- computation tree logic
- mazurkiewicz traces
- conceptual graphs
- set theory
- temporal knowledge
- formal specification language
- formal specification
- transition systems
- causal links
- preference relations
- linear temporal logic