A Sahlqvist theorem for distributive modal logic.

Mai Gehrke Hideo Nagahashi Yde Venema

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
conditional logic
situation calculus
dynamic logic
nonmonotonic logics
explanation based generalization
default logic
prime implicates
distributive lattices
reinforcement learning
sequent calculus