Concrete Epistemic Modal Logic: Flatland.

Olivier Gasquet François Schwarzentruber

Published in: TICTTL (2011)

Keyphrases

modal logic
epistemic logic
modal operators
decision procedures
temporal logic
kripke models
dynamic epistemic logic
inference rules
classical logic
nonmonotonic logics
situation calculus
dynamic logic
conditional logic
default logic
explanation based generalization
autoepistemic logic
multi faceted