Skip to main content
Log in

Default Logic as Dynamic Doxastic Logic

  • Published:
Erkenntnis Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  • 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 

  • 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 

  • Łukaszewicz, Witold: 1988, ‘Considerations on Default Logic: An Alternative Approach’, Computational Intelligence 4, 1-16.

    Google Scholar 

  • Łukaszewicz, Witold: 1990, Nonmonotonic Reasoning: Formulations of Commonsense Reasoning, Ellis Horwood, New York.

    Google Scholar 

  • Reiter, Raymond: 1980, ‘A Logic for Default Reasoning’, Artificial Intelligence 13, 81-132.

    Google Scholar 

  • 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 

  • Schwarz, Grigori: 1996, ‘On Embedding Default Logic into Moore's Autoepistemic Logic’, Artificial Intelligence 80, 349-359.

    Google Scholar 

  • Segerberg, Krister: ‘Two Traditions in the Logic of Belief: Bringing Them Together’, To appear in a Festschrift for Dov Gabbay.

  • Segerberg, Krister: ‘Irrevocable Belief Revision in Dynamic Doxastic Logic’, To appear in Notre Dame Journal of Formal Logic.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Segerberg, K. Default Logic as Dynamic Doxastic Logic. Erkenntnis 50, 333–352 (1999). https://doi.org/10.1023/A:1005546526502

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005546526502

Keywords

Navigation