Normal Modal Logics Containing KTB with some Finiteness Conditions.

Yutaka Miyazaki

Published in: Advances in Modal Logic (2004)

Keyphrases

modal logic
inference rules
decision procedures
temporal logic
nonmonotonic logics
epistemic logic
classical logic
sufficient conditions
situation calculus
autoepistemic logic
conditional logic
reinforcement learning
model checking
default logic