Default Logic as Dynamic Doxastic Logic
- Cite this article as:
- Segerberg, K. Erkenntnis (1999) 50: 333. doi:10.1023/A:1005546526502
- 59 Downloads
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.