Switch to: References

Add citations

You must login to add citations.
  1. Semantic interpolation.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Applied Non-Classical Logics 20 (4):345-371.
    The problem of interpolation is a classical problem in logic. Given a consequence relation |~ and two formulas φ and ψ with φ |~ ψ we try to find a “simple" formula α such that φ |~ α |~ ψ. “Simple" is defined here as “expressed in the common language of φ and ψ". Non-monotonic logics like preferential logics are often a mixture of a non-monotonic part with classical logic. In such cases, it is natural examine also variants of the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Information, possible worlds and the cooptation of scepticism.Luciano Floridi - 2010 - Synthese 175 (1):63 - 88.
    The article investigates the sceptical challenge from an informationtheoretic perspective. Its main goal is to articulate and defend the view that either informational scepticism is radical, but then it is epistemologically innocuous because redundant; or it is moderate, but then epistemologically beneficial because useful. In order to pursue this cooptation strategy, the article is divided into seven sections. Section 1 sets up the problem. Section 2 introduces Borei numbers as a convenient way to refer uniformly to (the data that individuate) (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.
    The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Safe Contraction Revisited.Hans Rott & Sven Ove Hansson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic, Vol. 3). Springer. pp. 35–70.
    Modern belief revision theory is based to a large extent on partial meet contraction that was introduced in the seminal article by Carlos Alchourrón, Peter Gärdenfors, and David Makinson that appeared in 1985. In the same year, Alchourrón and Makinson published a significantly different approach to the same problem, called safe contraction. Since then, safe contraction has received much less attention than partial meet contraction. The present paper summarizes the current state of knowledge on safe contraction, provides some new results (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations