Switch to: References

Add citations

You must login to add citations.
  1. Axioms for a Logic of Consequential Counterfactuals.Claudio E. A. Pizzi - 2023 - Logic Journal of the IGPL 31 (5):907-925.
    The basis of the paper is a logic of analytical consequential implication, CI.0, which is known to be equivalent to the well-known modal system KT thanks to the definition A → B = df A ⥽ B ∧ Ξ (Α, Β), Ξ (Α, Β) being a symbol for what is called here Equimodality Property: (□A ≡ □B) ∧ (◊A ≡ ◊B). Extending CI.0 (=KT) with axioms and rules for the so-called circumstantial operator symbolized by *, one obtains a system CI.0*Eq (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Situation-Based Connexive Logic.Alessandro Giordani - 2023 - Studia Logica 112 (1):295-323.
    The aim of this paper is to present a system of modal connexive logic based on a situation semantics. In general, modal connexive logics are extensions of standard modal logics that incorporate Aristotle’s and Boethius’ theses, that is the thesis that a sentence cannot imply its negation and the thesis that a sentence cannot imply a pair of contradictory sentences. A key problem in devising a connexive logic is to come up with a system that is both sufficiently strong to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology.Heinrich Wansing & Hitoshi Omori - 2023 - Studia Logica 112 (1):1-35.
    Over the past ten years, the community researching connexive logics is rapidly growing and a number of papers have been published. However, when it comes to the terminology used in connexive logic, it seems to be not without problems. In this introduction, we aim at making a contribution towards both unifying and reducing the terminology. We hope that this can help making it easier to survey and access the field from outside the community of connexive logicians. Along the way, we (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation