Switch to: References

Add citations

You must login to add citations.
  1. An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
    When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in this area is Reiter's Default Logic (1980). A characteristic of this formalism is that the applicability of default (inference) rules can only be verified in the future of the reasoning process. We describe an interpretation of default logic in temporal epistemic logic which makes this characteristic explicit. It is shown that this interpretation yields a semantics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Semantics for Dual Preferential Entailment.Katarina Britz, Johannes Heidema & Willem Labuschagne - 2009 - Journal of Philosophical Logic 38 (4):433-446.
    We introduce and explore the notion of duality for entailment relations induced by preference orderings on states. We discuss the relationship between these preferential entailment relations from the perspectives of Boolean algebra, inference rules, and modal axiomatisation. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as a suitable modal framework for rational preferential reasoning.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Definability and Commonsense Reasoning.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1997 - Artificial Intelligence 93 (1-2):169-199.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation