Automata-Theoretic Techniques for Modal Logics of Programs.

Moshe Y. Vardi Pierre Wolper

Published in: J. Comput. Syst. Sci. (1986)

Keyphrases

modal logic
temporal logic
automata theoretic
model checking
inference rules
decision procedures
epistemic logic
satisfiability problem
nonmonotonic logics
default logic
belief revision
regular path queries
expressive power