Default Logic as Dynamic Doxastic Logic |
| |
Authors: | Krister Segerberg |
| |
Affiliation: | (1) Department of Philosophy, University of Uppsala, Villavägen 5, 753 10 Uppsala, Sweden |
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|