Default logic as dynamic doxastic logic

Erkenntnis 50 (2-3):333-352 (1999)
  Copy   BIBTEX

Abstract

Dynamic doxastic logic (DDL) is used in connexion with theories of belief revision. Here we try to show that languages of DDL are suitable also for discussing aspects of default logic. One ingredient of our analysis is a concept of coherence-as-ratifiability.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1005546526502

Links

PhilArchive



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

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

Belief Revision in Dynamic Epistemic Logic and Ranking Theory.Peter Fritz - manuscript
Some completeness theorems in the dynamic doxastic logic of iterated belief revision.Krister Segerberg - 2010 - Review of Symbolic Logic 3 (2):228-246.
Irrevocable Belief Revision in Dynamic Doxastic Logic.Krister Segerberg - 1998 - Notre Dame Journal of Formal Logic 39 (3):287-306.
A Modal Logic of Metaphor.Krister Segerberg - 2011 - Studia Logica 99 (1-3):337-347.
DΔL: a dynamic deontic logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.
Bridging learning theory and dynamic epistemic logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
DDL unlimited: Dynamic doxastic logic for introspective agents.Sten Lindström & Wlodek Rabinowicz - 1999 - Erkenntnis 50 (2-3):353-385.
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.

Analytics

Added to PP
2009-01-28

Downloads
86 (#192,516)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

Citations of this work

Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.

View all 9 citations / Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Irrevocable Belief Revision in Dynamic Doxastic Logic.Krister Segerberg - 1998 - Notre Dame Journal of Formal Logic 39 (3):287-306.
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.

Add more references