Login / Signup
Temporal Logic Can Be More Expressive
Pierre Wolper
Published in:
FOCS (1981)
Keyphrases
</>
temporal logic
model checking
modal logic
concurrent systems
satisfiability problem
linear temporal logic
belief revision
computation tree logic
mazurkiewicz traces
temporal knowledge
verification method
software engineering
finite state
reactive systems
automata theoretic