Dynamic doxastic logic: why, how, and where to?

&
Synthese 155 (2):167-190 (2007)
  Copy   BIBTEX

Abstract

We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for conditionals is used to characterize the logical and philosophical differences between two paradigmatic systems, AGM and KGM, which we develop and compare axiomatically and semantically. The importance of Gärdenfors’s impossibility result on the Ramsey test is highlighted by a comparison with Arrow’s impossibility result on social choice. We end with an outlook on the prospects and the future of DDL.

Categories

Keywords

Reprint years

DOI

10.1007/s11229-006-9143-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Default logic as dynamic doxastic logic.Krister Segerberg - 1999 - Erkenntnis 50 (2-3):333-352.
A Modal Logic of Metaphor.Krister Segerberg - 2011 - Studia Logica 99 (1-3):337-347.
Irrevocable Belief Revision in Dynamic Doxastic Logic.Krister Segerberg - 1998 - Notre Dame Journal of Formal Logic 39 (3):287-306.
DΔL: a dynamic deontic logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.
AGM as a dynamic, doxastic logic.Krister Segerberg - 1995 - Bulletin of Symbolic Logic 1.
Moore problems in full dynamic doxastic logic.Krister Segerberg - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):95-110.
On combinations of propositional dynamic logic and doxastic modal logics.Renate A. Schmidt & Dmitry Tishkovsky - 2008 - Journal of Logic, Language and Information 17 (1):109-129.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
Bridging learning theory and dynamic epistemic logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.
Why doxastic responsibility is not based on direct doxastic control.Andrea Kruse - 2017 - Synthese 194 (8):2811-2842.
Some completeness theorems in the dynamic doxastic logic of iterated belief revision.Krister Segerberg - 2010 - Review of Symbolic Logic 3 (2):228-246.
O pewnej logice informacji.Krystyna Misiuna - 2011 - Filozofia Nauki 19 (1).
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
A doxastic walk with Darwiche and Pearl.Krister Segerberg - 1997 - Nordic Journal of Philosophical Logic 2 (1):63-66.

Analytics

Added to PP
2009-01-28

Downloads
159 (#116,688)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Hannes Leitgeb
Ludwig Maximilians Universität, München
Krister Segerberg
Uppsala University

Citations of this work

Simple Hyperintensional Belief Revision.F. Berto - 2019 - Erkenntnis 84 (3):559-575.
Truth in Fiction, Impossible Worlds, and Belief Revision.Francesco Berto & Christopher Badura - 2019 - Australasian Journal of Philosophy 97 (1):178-193.
Dynamic Hyperintensional Belief Revision.Aybüke Özgün & Francesco Berto - 2021 - Review of Symbolic Logic (3):766-811.
Impossible Worlds.Franz Berto & Mark Jago - 2013 - Oxford: Oxford University Press.

View all 27 citations / Add more citations

References found in this work

Counterfactuals.David K. Lewis - 1973 - Malden, Mass.: Blackwell.
Counterfactuals.David Lewis - 1973 - Tijdschrift Voor Filosofie 36 (3):602-605.
Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.

View all 27 references / Add more references