Situated Epistemic Updates

Authors: Igor Sedlár, Andrew Tedder
Publication year: 2021
Publication type: Konferenční příspěvek (mezinárodní konf.)
Periodical: Logic, Rationality, and Interaction. 8th International Workshop, LORI 2021, Proceedings
Projects: Non-classical logical models of information dynamics
Bibliographic citation: SEDLÁR, Igor, TEDDER, Andrew. Situated Epistemic Updates. In: GHOSH, S., ICARD, T., eds. Logic, Rationality, and Interaction. 8th International Workshop, LORI 2021, Proceedings. Cham: Springer, 2021, S. 192-200. Lecture Notes in Computer Science, 13039. ISBN 978-3-030-88707-0. ISSN 0302-9743
Dostupné z: doi:10.1007/978-3-030-88708-7_16
DOI: 10.1007/978-3-030-88708-7_16
ID: 547241

Abstract

One way to model epistemic states of agents more realistically is to represent these states by sets of situations rather than possible worlds. In this paper we discuss representations of epistemic update in terms of situations. After linking epistemic update based on deleting epistemic accessibility arrows with update of situations, we discuss two specific kinds of public epistemic update: monotonic update in intuitionistic dynamic epistemic logic, and non-monotonic update in substructural dynamic epistemic logic. Our investigation is mainly conceptual, but leads to completeness results using reduction axioms, and lays the groundwork for future investigation into the concept of situated epistemic update.