7 found
Order:
See also:
Profile: David R. Gilbert (University of Groningen)
  1.  17
    David R. Gilbert & Giorgio Venturi (forthcoming). Reflexive-Insensitive Modal Logics. Review of Symbolic Logic:1-14.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  11
    Adrian J. McNairn & David M. Gilbert (2003). Epigenomic Replication: Linking Epigenetics to DNA Replication. Bioessays 25 (7):647-656.
  3.  17
    David R. Gilbert & Paolo Maffezioli (2015). Modular Sequent Calculi for Classical Modal Logics. 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  
     
    My bibliography  
  4.  20
    David R. Gilbert & Edwin D. Mares (2012). Completeness Results for Some Two-Dimensional Logics of Actuality. 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 (7 more)  
     
    Export citation  
     
    My bibliography  
  5.  1
    David Gilbert (1999). Sponsorship, Academic Independence and Critical Engagement: A Forum on Shell, the Ogoni Dispute and the Royal Geographical Society (with the Institute of British Geographers). Philosophy and Geography 2 (2):219 – 228.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  6. David Gilbert, Michael Woods, Adam Tickell, David Storey, Ian Maxey, Shelley Braithwaite, Per Lindskog, Adeniyi Gbadegesin, Seiko Kitajima & Michael Watts (1999). Sponsorship, Academic Independence and Critical Engagement: A Forum on Shell, the Ogoni Dispute and the Royal Geographical Society. Ethics, Place and Environment 2 (2):219-257.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. Molly R. Gordon, Benjamin D. Pope, Jiao Sima & David M. Gilbert (2015). Many Paths Lead Chromatin to the Nuclear Periphery. Bioessays 37 (8):862-866.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography