Erratum to: ``Dynamic term-modal logics for first-order epistemic planning

DOI10.1016/J.ARTINT.2023.103969MaRDI QIDQ6080640zbMATH OpenFDO

Authors Andrés Occhipinti Liberman, Andreas Achen, Rasmus K. Rendsvig

Publication date 4 October 2023

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.ARTINT.2023.103969

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Dynamic term-modal logics for first-order epistemic planning
• From Situation Calculus to Dynamic Epistemic Logic
• scientific article; zbMATH DE number 1537935
• DEL planning and some tractable cases
• Planning using dynamic epistemic logic: correspondence and complexity

Cites work

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

Cited in

(2)

• Dynamic term-modal logics for first-order epistemic planning
• Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style systems for term-modal logics with equality and non-rigid terms

This page was built for publication: Erratum to: ``Dynamic term-modal logics for first-order epistemic planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6080640)