Dynamic term-modal logics for first-order epistemic planning.

Andrés Occhipinti Liberman Andreas Achen Rasmus Kræmmer Rendsvig

Published in: Artif. Intell. (2020)

Keyphrases

modal logic
epistemic logic
conditional logic
decision procedures
inference rules
temporal logic
modal operators
dynamic environments
special case
theorem proving
ai planning
dynamic logic
kripke models
first order logic
situation calculus
linear temporal logic