Switch to: References

Add citations

You must login to add citations.
  1. A Proof-theoretic View of Necessity.Reinhard Kahle - 2006 - Synthese 148 (3):659-673.
    We give a reading of binary necessity statements of the form “ϕ is necessary for ψ” in terms of proofs. This reading is based on the idea of interpreting such statements as “Every proof of ψ uses ϕ”.
    Download  
     
    Export citation  
     
    Bookmark   2 citations