Switch to: References

Add citations

You must login to add citations.
  1. Questions and Dependency in Intuitionistic Logic.Ivano Ciardelli, Rosalie Iemhoff & Fan Yang - 2020 - Notre Dame Journal of Formal Logic 61 (1):75-115.
    In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where teams are embedded within intuitionistic Kripke models. (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • State-Based Modal Logics for Free Choice.Maria Aloni, Aleksi Anttila & Fan Yang - 2024 - Notre Dame Journal of Formal Logic 65 (4):367-413.
    We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic phenomena. This logic extends classical modal logic with a nonemptiness atom which is true in a state if and only if the state is nonempty. We introduce two extensions of BSML and show that the extensions are expressively complete, and develop natural deduction axiomatizations for the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Positive modal logic beyond distributivity.Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (2):103374.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Axiomatizations of team logics.Martin Lück - 2018 - Annals of Pure and Applied Logic 169 (9):928-969.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Axiomatizing modal inclusion logic and its variants.Aleksi Anttila, Matilda Häggblom & Fan Yang - forthcoming - Archive for Mathematical Logic:1-39.
    We provide a complete axiomatization of modal inclusion logic—team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic with the same expressive power as modal inclusion logic: one augmented with a might operator and the other with a single-world variant of (...)
    Download  
     
    Export citation  
     
    Bookmark