General Frames for Relevant Modal Logics.

Published in: Notre Dame J. Formal Log. (2003)

Keyphrases

modal logic
closely related
inference rules
nonmonotonic logics
decision procedures
temporal logic
reinforcement learning
general theory
epistemic logic
classical logic