First-Order and Temporal Logics for Nested Words.

Rajeev Alur Marcelo Arenas Pablo Barceló Kousha Etessami Neil Immerman Leonid Libkin

Published in: LICS (2007)

Keyphrases

mazurkiewicz traces
temporal logic
linear temporal logic
model checking
modal logic
satisfiability problem
temporal epistemic
keywords
n gram
verification method
predicate logic
concurrent systems
first order logic
temporal knowledge
nonmonotonic logics
transition systems
formal verification
theorem prover