Literatur vom gleichen Autor/der gleichen Autor*in
plus bei Google Scholar

Bibliografische Daten exportieren
 

Agreement Theorems in Dynamic-Epistemic Logic

Titelangaben

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

Abstract

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.

Weitere Angaben

Publikationsform: Artikel in einer Zeitschrift
Begutachteter Beitrag: Ja
Zusätzliche Informationen: Autorenname im Zeitschriftenaufsatz falsch: Oliver Roy statt Olivier Roy
Keywords: Agreement theorems; Dynamic-epistemic logic; Information; Belief revision; Fixed-point logic; Hybrid logic
Institutionen der Universität: Fakultäten > Kulturwissenschaftliche Fakultät
Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie
Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie > Lehrstuhl Philosophie I
Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie > Lehrstuhl Philosophie I > Lehrstuhl Philosophie I - Univ.-Prof. Dr. Olivier Roy
Fakultäten
Titel an der UBT entstanden: Nein
Themengebiete aus DDC: 100 Philosophie und Psychologie
100 Philosophie und Psychologie > 100 Philosophie
100 Philosophie und Psychologie > 120 Epistemologie
100 Philosophie und Psychologie > 160 Logik
Eingestellt am: 22 Jan 2018 08:26
Letzte Änderung: 12 Jul 2022 09:04
URI: https://eref.uni-bayreuth.de/id/eprint/40719