Interpretability of first-order linear temporal logics in fork algebras.

Marcelo F. Frias Carlos López Pombo

Published in: J. Log. Algebraic Methods Program. (2006)

Keyphrases

temporal logic
mazurkiewicz traces
linear temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
predicate logic
temporal resolution
temporal epistemic
formal specification
reactive systems
transition systems
computation tree logic