Default Logic as Dynamic Doxastic Logic
β
Krister Segerberg
π
Article
π
1999
π
Springer
π
English
β 124 KB