Switch to: References

Add citations

You must login to add citations.
  1. The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - 2024 - Review of Symbolic Logic 17 (1):244-271.
    Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Relevant propositional dynamic logic.Andrew Tedder & Marta Bilková - 2022 - Synthese 200 (3):1-42.
    Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained investigation until recently. In this paper, we develop a philosophical motivation for these systems, and present some new results suggested by the proposed motivation. Among these, we’ll show how to adapt some recent work to show that the extensions of relevant logics by the extensional truth constants \ are complete with respect to a natural class of ternary (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
    There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.
    In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a divide between the universal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.
    This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Logic talk.Alexander W. Kocurek - 2021 - Synthese 199 (5-6):13661-13688.
    Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (1):145-181.
    In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of the relevant implication (and related connectives) with a neighbourhood interpretation of modal operators. We prove completeness for a range of systems and investigate the relations between neighbourhood models and relational models, setting out a range of augmentation conditions for the various relations and operations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation