Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract)

Moshe Y. Vardi Pierre Wolper

Published in: STOC (1984)

Keyphrases

extended abstract
modal logic
automata theoretic
temporal logic
model checking
inference rules
decision procedures
satisfiability problem
epistemic logic
nonmonotonic logics
situation calculus
default logic
belief revision
np complete
database
fixpoint
regular path queries
np hard