Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

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