A Sahlqvist Theorem for Relevant Modal Logics.

Published in: Stud Logica (2003)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
situation calculus
classical logic
conditional logic
artificial intelligence
default logic
epistemic logic
reinforcement learning
np hard