Dynamic term-modal logics for first-order epistemic planning

, &
Artificial Intelligence 286:103305 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2020.103305

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
Dynamic logics of the region-based theory of discrete spaces.Philippe Balbiani, Tinko Tinchev & Dimiter Vakarelov - 2007 - Journal of Applied Non-Classical Logics 17 (1):39-61.
Dynamic term-modal logic. Kooi, Barteld - unknown
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.
More for free: A dynamic epistemic framework for conformant planning over transition systems.Yanjun Li, Quan Yu & Yanjing Wang - 2017 - Journal of Logic and Computation 27 (8):2383--2410.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
A New Framework for Epistemic Logic.Yanjing Wang - 2017 - In Proceedings of TARK 2017. EPTCS. pp. 515-534.
Modal logic and invariance.Johan Van Benthem & Denis Bonnay - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):153-173.
Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach).Gennady Shtakser - 2019 - Studia Logica 107 (4):753-780.
First order common knowledge logics.Frank Wolter - 2000 - Studia Logica 65 (2):249-271.
Terminating Tableaux for Dynamic Epistemic Logics.Jens Ulrik Hansen - 2010 - Electronic Notes in Theoretical Computer Science 262:141-156.
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.Dominik Klein & Rasmus K. Rendsvig - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122.
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives.Andreas Herzig - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):328-341.
Active epistemics: Methods, recommendations and hypotheses to learn.Vincent Hendricks - manuscript
The Monodic Fragment of Propositional Term Modal Logic.Anantha Padmanabha & R. Ramanujam - 2019 - Studia Logica 107 (3):533-557.

Analytics

Added to PP
2020-12-22

Downloads
20 (#767,424)

6 months
9 (#308,593)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rasmus K. Rendsvig
University of Copenhagen

Citations of this work

Epistemic logic.Vincent Hendricks - 2008 - Stanford Encyclopedia of Philosophy.

View all 6 citations / Add more citations

References found in this work

Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.

View all 21 references / Add more references