Login / Signup
An almost general splitting theorem for modal logic.
Marcus Kracht
Published in:
Stud Logica (1990)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
special case
epistemic logic
classical logic
conditional logic
closely related
situation calculus
default logic
reinforcement learning