Switch to: Citations

Add references

You must login to add references.
  1. Modal Boolean Connexive Logics: Semantics and Tableau Approach.Tomasz Jarmużek & Jacek Malinowski - 2019 - Bulletin of the Section of Logic 48 (3):213-243.
    In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach.Tomasz Jarmużek & Mateusz Klonowski - 2020 - Logic and Logical Philosophy 29 (3):335–380.
    Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Relatedness and implication.Richard L. Epstein - 1979 - Philosophical Studies 36 (2):137 - 173.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Algebraic Analysis of Demodalised Analytic Implication.Antonio Ledda, Francesco Paoli & Michele Pra Baldi - 2019 - Journal of Philosophical Logic 48 (6):957-979.
    The logic DAI of demodalised analytic implication has been introduced by J.M. Dunn as a variation on a time-honoured logical system by C.I. Lewis’ student W.T. Parry. The main tenet underlying this logic is that no implication can be valid unless its consequent is “analytically contained” in its antecedent. DAI has been investigated both proof-theoretically and model-theoretically, but no study so far has focussed on DAI from the viewpoint of abstract algebraic logic. We provide several different algebraic semantics for DAI, (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A post-style proof of completeness theorem for symmetric relatedness Logic S.Mateusz Klonowski - 2018 - Bulletin of the Section of Logic 47 (3):201.
    One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Philosophical basis of relatedness logic.Douglas N. Walton - 1979 - Philosophical Studies 36 (2):115 - 136.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Relatedness in intensional action chains.Douglas N. Walton - 1979 - Philosophical Studies 36 (2):175 - 223.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • S Is Constructively Complete.Francesco Paoli - 1996 - Reports on Mathematical Logic:31-47.
    Download  
     
    Export citation  
     
    Bookmark   5 citations