An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces.

Paul Gastin Madhavan Mukund

Published in: ICALP (2002)

Keyphrases

temporal logic
mazurkiewicz traces
model checking
modal logic
satisfiability problem
concurrent systems
model checker
belief revision
transition systems
computation tree logic
temporal knowledge
temporal properties
verification method
linear temporal logic
finite state
reinforcement learning
cellular automata