Switch to: References

Citations of:

Second-Order Modal Logic

Dissertation, University of Connecticut (2017)

Add citations

You must login to add citations.
  1. One-step Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):837-872.
    This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D.Samara Burns & Richard Zach - 2021 - Review of Symbolic Logic 14 (4):910-929.
    We investigate a recent proposal for modal hypersequent calculi. The interpretation of relational hypersequents incorporates an accessibility relation along the hypersequent. These systems give the same interpretation of hypersequents as Lellman's linear nested sequents, but were developed independently by Restall for S5 and extended to other normal modal logics by Parisi. The resulting systems obey Došen's principle: the modal rules are the same across different modal logics. Different modal systems only differ in the presence or absence of external structural rules. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation