Arity hierarchy for temporal logics.

Alexander Rabinovich

Published in: Theor. Comput. Sci. (2008)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
concurrent systems
temporal knowledge
transition systems
artificial intelligence
verification method
belief revision
hierarchical structure
predicate logic
spatial information
semantic network
function symbols