Switch to: References

Add citations

You must login to add citations.
  1. Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
    Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...)
    No categories
    $79.37 new    View on Amazon.com
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Note on Extending Congruential Modal Logics.Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (1):95-103.
    It is observed that a consistent congruential modal logic is not guaranteed to have a consistent extension in which the Box operator becomes a truth-functional connective for one of the four one-place truth functions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics.Lloyd Humberstone & Steven T. Kuhn - 2022 - Notre Dame Journal of Formal Logic 63 (4):515-550.
    A notable early result of David Makinson establishes that every monotone modal logic can be extended to LI, LV, or LF, and every antitone logic can be extended to LN, LV, or LF, where LI, LN, LV, and LF are logics axiomatized, respectively, by the schemas □α↔α, □α↔¬α, □α↔⊤, and □α↔⊥. We investigate logics that are both monotone and antitone (hereafter amphitone). There are exactly three: LV, LF, and the minimum amphitone logic AM axiomatized by the schema □α→□β. These logics, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Inverse Images of Box Formulas in Modal Logic.Lloyd Humberstone - 2013 - Studia Logica 101 (5):1031-1060.
    We investigate, for several modal logics but concentrating on KT, KD45, S4 and S5, the set of formulas B for which ${\square B}$ is provably equivalent to ${\square A}$ for a selected formula A (such as p, a sentence letter). In the exceptional case in which a modal logic is closed under the (‘cancellation’) rule taking us from ${\square C \leftrightarrow \square D}$ to ${C \leftrightarrow D}$ , there is only one formula B, to within equivalence, in this inverse image, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Aggregation and idempotence.Lloyd Humberstone - 2013 - Review of Symbolic Logic 6 (4):680-708.
    A 1-ary sentential context is aggregative (according to a consequence relation) if the result of putting the conjunction of two formulas into the context is a consequence (by that relation) of the results of putting first the one formula and then the other into that context. All 1-ary contexts are aggregative according to the consequence relation of classical propositional logic (though not, for example, according to the consequence relation of intuitionistic propositional logic), and here we explore the extent of this (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations