Dynamic Term-Modal Logics for Epistemic Planning.

Andreas Achen Andrés Occhipinti Liberman Rasmus K. Rendsvig

Published in: CoRR (2019)

Keyphrases

modal logic
epistemic logic
decision procedures
temporal logic
inference rules
modal operators
nonmonotonic logics
kripke models
dynamic environments
multi agent systems
default logic
cooperative
classical logic