Switch to: References

Add citations

You must login to add citations.
  1. Priorean strict implication, Q and related systems.Fabrice Correia - 2001 - Studia Logica 69 (3):411-427.
    We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Logical Modeling of Severe Ignorance.Stefano Bonzio, Vincenzo Fano & Pierluigi Graziani - 2023 - Journal of Philosophical Logic 52 (4):1053-1080.
    In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as “lack of knowledge”. This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of φ that stems from an unfamiliarity with its meaning. Contrarily to this trend, in this paper, we introduce and investigate a modal logic having a primitive (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations