Switch to: References

Add citations

You must login to add citations.
  1. Default logic as dynamic doxastic logic.Krister Segerberg - 1999 - Erkenntnis 50 (2-3):333-352.
    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.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Logic programming as classical inference.Eric A. Martin - 2015 - Journal of Applied Logic 13 (3):316-369.
    Download  
     
    Export citation  
     
    Bookmark   2 citations