Switch to: References

Citations of:

Modal incompleteness revisited

Studia Logica 76 (3):329 - 342 (2004)

Add citations

You must login to add citations.
  1. Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
    This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic. In addition, the book discusses a broad range of topics, including standard modal logic results ; bisimulations for neighborhood models and other model-theoretic (...)
    Download  
     
    Export citation  
     
    Bookmark   36 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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Complete additivity and modal incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.
    In this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem, “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, ${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations