Agreement Theorems in Dynamic-Epistemic Logic

Title data

Dégremont, Cédric ; Roy, Olivier:
Agreement Theorems in Dynamic-Epistemic Logic.
In: Journal of Philosophical Logic. Vol. 41 (August 2012) Issue 4 . - pp. 735-764.
ISSN 1573-0433
DOI: https://doi.org/10.1007/s10992-012-9236-4

Abstract in another language

This paper introduces Agreement Theorems to dynamic-epistemic logic. We show first that common belief of posteriors is sufficient for agreement in epistemic-plausibility models, under common and well-founded priors. We do not restrict ourselves to the finite case, showing that in countable structures the results hold if and only if the underlying plausibility ordering is well-founded. We then show that neither well-foundedness nor common priors are expressible in the language commonly used to describe and reason about epistemic-plausibility models. The static agreement result is, however, finitely derivable in an extended modal logic. We provide the full derivation. We finally consider dynamic agreement results. We show they have a counterpart in epistemic-plausibility models, and provide a new form of agreements via public announcements.

Further data

Item Type:	Article in a journal
Refereed:	Yes
Additional notes:	Autorenname im Zeitschriftenaufsatz falsch: Oliver Roy statt Olivier Roy
Keywords:	Agreement theorems; Dynamic-epistemic logic; Information; Belief revision; Fixed-point logic; Hybrid logic
Institutions of the University:	Faculties > Faculty of Cultural Studies Faculties > Faculty of Cultural Studies > Department of Philosophy Faculties > Faculty of Cultural Studies > Department of Philosophy > Lehrstuhl Philosophie I Faculties > Faculty of Cultural Studies > Department of Philosophy > Lehrstuhl Philosophie I > Chair Philosophy I - Univ.-Prof. Dr. Olivier Roy Faculties
Result of work at the UBT:	No
DDC Subjects:	100 Philosophy and psychology 100 Philosophy and psychology > 100 Philosophy 100 Philosophy and psychology > 120 Epistemology 100 Philosophy and psychology > 160 Logic
Date Deposited:	22 Jan 2018 08:26
Last Modified:	22 Jan 2018 08:45
URI:	https://eref.uni-bayreuth.de/id/eprint/40719