Modal logic of time division.

Tero Tulenheimo

Published in: Advances in Modal Logic (2008)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
situation calculus
default logic
epistemic logic
knowledge base
autoepistemic logic
modal operators
dynamic logic