Switch to: References

Add citations

You must login to add citations.
  1. Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.
    Accounts of logical independence which coincide when applied in the case of classical logic diverge elsewhere, raising the question of what a satisfactory all-purpose account of logical independence might look like. ‘All-purpose’ here means: working satisfactorily as applied across different logics, taken as consequence relations. Principal candidate characterizations of independence relative to a consequence relation are that there the consequence relation concerned is determined by only by classes of valuations providing for all possible truth-value combinations for the formulas whose independence (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.Timothy Williamson - 1998 - Notre Dame Journal of Formal Logic 39 (1):128-134.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Knot much like tonk.Michael De & Hitoshi Omori - 2022 - Synthese 200 (149):1-14.
    Connectives such as Tonk have posed a significant challenge to the inferentialist. It has been recently argued that the classical semanticist faces an analogous problem due to the definability of “nasty connectives” under non-standard interpretations of the classical propositional vocabulary. In this paper, we defend the classical semanticist from this alleged problem.
    Download  
     
    Export citation  
     
    Bookmark  
  • Proof Theory for Functional Modal Logic.Shawn Standefer - 2018 - Studia Logica 106 (1):49-84.
    We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \. We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Is there a genuine modal perspective on feature structures?Marcus Kracht - 1995 - Linguistics and Philosophy 18 (4):401 - 458.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Inverses for normal modal operators.Lloyd Humberstone & Timothy Williamson - 1997 - Studia Logica 59 (1):33-64.
    Given a 1-ary sentence operator , we describe L - another 1-ary operator - as as a left inverse of in a given logic if in that logic every formula is provably equivalent to L. Similarly R is a right inverse of if is always provably equivalent to R. We investigate the behaviour of left and right inverses for taken as the operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
    This paper investigates the structure of lattices of normal mono- and polymodal subframelogics, i.e., those modal logics whose frames are closed under a certain type of substructures. Nearly all basic modal logics belong to this class. The main lattice theoretic tool applied is the notion of a splitting of a complete lattice which turns out to be connected with the “geometry” and “topology” of frames, with Kripke completeness and with axiomatization problems. We investigate in detail subframe logics containing K4, those (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • What is the upper part of the lattice of bimodal logics?Frank Wolter - 1994 - Studia Logica 53 (2):235 - 241.
    We define an embedding from the lattice of extensions ofT into the lattice of extensions of the bimodal logic with two monomodal operators 1 and 2, whose 2-fragment isS5 and 1-fragment is the logic of a two-element chain. This embedding reflects the fmp, decidability, completenes and compactness. It follows that the lattice of extension of a bimodal logic can be rather complicated even if the monomodal fragments of the logic belong to the upper part of the lattice of monomodal logics.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Logics of Infinite Depth.Marcus Kracht - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 435-448.
    Download  
     
    Export citation  
     
    Bookmark