, Volume 50, Issue 2–3, pp 333–352 | Cite as

Default Logic as Dynamic Doxastic Logic

  • Krister Segerberg


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.


Belief Revision Default Logic Doxastic Logic Dynamic Doxastic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Alchourrón, Carlos, Peter Gärdenfors and David Makinson: 1985, ‘On the Logic of Theory Change’, Journal of Symbolic Logic 50, 510-530.Google Scholar
  2. Engelfriet, Joeri and Jan Treur: 1998, ‘An Interpretation of Default Logic in Temporal Epistemic Logic’, Journal of Logic, Language and Information 7, 369-388.Google Scholar
  3. Łukaszewicz, Witold: 1988, ‘Considerations on Default Logic: An Alternative Approach’, Computational Intelligence 4, 1-16.Google Scholar
  4. Łukaszewicz, Witold: 1990, Nonmonotonic Reasoning: Formulations of Commonsense Reasoning, Ellis Horwood, New York.Google Scholar
  5. Reiter, Raymond: 1980, ‘A Logic for Default Reasoning’, Artificial Intelligence 13, 81-132.Google Scholar
  6. Reiter, Raymond and Giovanni Criscuolo: 1981, ‘On Interactive Defaults’, Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81, Vol. 1, Morgan Kaufmann, San Mateo, CA, pp. 270-276.Google Scholar
  7. Schwarz, Grigori: 1996, ‘On Embedding Default Logic into Moore's Autoepistemic Logic’, Artificial Intelligence 80, 349-359.Google Scholar
  8. Segerberg, Krister: ‘Two Traditions in the Logic of Belief: Bringing Them Together’, To appear in a Festschrift for Dov Gabbay.Google Scholar
  9. Segerberg, Krister: ‘Irrevocable Belief Revision in Dynamic Doxastic Logic’, To appear in Notre Dame Journal of Formal Logic.Google Scholar

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Krister Segerberg
    • 1
  1. 1.Department of PhilosophyUniversity of UppsalaUppsalaSweden

Personalised recommendations