Derivational modal logic of real line with difference modality.

Published in: TACL (2013)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
multi modal
nonmonotonic logics
epistemic logic
default logic
classical logic
conditional logic
multi agent systems
medical images
model checking
situation calculus
finite state