Login / Signup
Temporal Logics Need Their Clocks.
Ildikó Sain
Published in:
Theor. Comput. Sci. (1992)
Keyphrases
</>
temporal logic
mazurkiewicz traces
model checking
satisfiability problem
modal logic
concurrent systems
linear temporal logic
belief revision
predicate logic
verification method
transition systems
temporal resolution
temporal knowledge
artificial intelligence
heuristic search
computation tree logic