Title data
Dégremont, Cédric ; Roy, Olivier:
Agreement Theorems in Dynamic-Epistemic Logic.
In: Journal of Philosophical Logic.
Vol. 41
(2012)
.
- 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 > Chair Philosophy I Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy 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: | 06 Apr 2022 09:03 |
URI: | https://eref.uni-bayreuth.de/id/eprint/40719 |