Default Logic as Dynamic Doxastic Logic

    loading  Checking for direct PDF access through Ovid

Abstract

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.

Related Topics

    loading  Loading Related Articles