Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic.
Antonella SantoneGigliola VagliniPublished in: ICSOFT (2013)
Keyphrases
- temporal logic
- partial order
- transition systems
- model checking
- partially ordered
- total order
- modal logic
- concurrent systems
- logical formulas
- belief revision
- computation tree logic
- linear temporal logic
- mazurkiewicz traces
- verification method
- predicate logic
- formal specification
- sequential patterns
- set theory
- linear time temporal logic
- temporal knowledge
- conceptual graphs
- automata theoretic
- practical reasoning
- sequent calculus
- totally ordered
- inference rules
- formal specification language