Sahlqvist Formulas in Hybrid Polyadic Modal Logics.

Valentin Goranko Dimiter Vakarelov

Published in: J. Log. Comput. (2001)

Keyphrases

modal logic
decision procedures
temporal logic
modal operators
inference rules
epistemic logic
nonmonotonic logics
classical logic
model checking
default logic
query processing
situation calculus
sequent calculus