4 found
Order:
See also
David R. Gilbert
University of Groningen
  1.  54
    Reflexive-Insensitive Modal Logics.David R. Gilbert & Giorgio Venturi - 2016 - Review of Symbolic Logic 9 (1):167-180.
  2.  32
    A Note on Logics of Essence and Accident.David R. Gilbert & Giorgio Venturi - 2020 - Logic Journal of the IGPL 28 (5):881-891.
    In this paper, we examine the logics of essence and accident and attempt to ascertain the extent to which those logics are genuinely formalizing the concepts in which we are interested. We suggest that they are not completely successful as they stand. We diagnose some of the problems and make a suggestion for improvement. We also discuss some issues concerning definability in the formal language.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  50
    Modular Sequent Calculi for Classical Modal Logics.David R. Gilbert & Paolo Maffezioli - 2015 - Studia Logica 103 (1):175-217.
    This paper develops sequent calculi for several classical modal logics. Utilizing a polymodal translation of the standard modal language, we are able to establish a base system for the minimal classical modal logic E from which we generate extensions in a modular manner. Our systems admit contraction and cut admissibility, and allow a systematic proof-search procedure of formal derivations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  64
    Completeness Results for Some Two-Dimensional Logics of Actuality.David R. Gilbert & Edwin D. Mares - 2012 - Review of Symbolic Logic 5 (2):239-258.
    We provide a Hilbert-style axiomatization of the logic of , as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation