Switch to: References

Add citations

You must login to add citations.
  1. Complete Additivity and Modal Incompleteness.Wesley H. Holliday & Tadeusz Litak - forthcoming - Review of Symbolic Logic:1-49.
    In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem [1979], “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely ad- ditive modal algebras, or as we call them, 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 paper resolves the open (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • A Sahlqvist Theorem for Distributive Modal Logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1):65-102.
    In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the form of ordered Kripke structures. The main contributions of this paper lie in extending the notion of Sahlqvist (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  • On A New Semantics for First-Order Predicate Logic.Andréka Hajnal, van Benthem Johan & Németi István - 2017 - Journal of Philosophical Logic 46 (3):259-267.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Knowledge Means ‘All’, Belief Means ‘Most’.Dimitris Askounis, Costas D. Koutras & Yorgos Zikos - 2016 - Journal of Applied Non-Classical Logics 26 (3):173-192.
    We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically alternative states and belief as a generalised ‘majority’ quantifier, interpreted as truth in most of the epistemically alternative states. This doxastic interpretation is of interest in knowledge-representation applications and it also holds an independent philosophical and technical appeal. The logic comprises an epistemic modal operator, a doxastic modal operator of consistent and complete belief and ‘bridge’ axioms which relate knowledge to belief. To capture the notion (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Variants of Multi-Relational Semantics for Propositional Non-Normal Modal Logics.Erica Calardo & Antonino Rotolo - 2014 - Journal of Applied Non-Classical Logics 24 (4):293-320.
    A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for this purpose. Here, we systematically study multi-relational structures, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Weak Subintuitionistic Logics.Fatemeh Shirohammadzadeh Maleki & Dick De Jongh - 2017 - Logic Journal of the IGPL 25 (2):214-231.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 2005–06 Winter Meeting of the Association for Symbolic Logic.Haim Gaifman - 2006 - Bulletin of Symbolic Logic 12 (3):503-516.
  • Technical Modal Logic.Marcus Kracht - 2011 - Philosophy Compass 6 (5):350-359.
  • Instantial Neighbourhood Logic.Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist & Junhua Yu - 2017 - Review of Symbolic Logic 10 (1):116-144.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Simplified Embedding of E Into Monomodal K.Rohan French - 2009 - Logic Journal of the IGPL 17 (4):421-428.
    In this paper we will provide a modal-to-modal translational embedding of E into K, simplifying a similar result which is obtainable using a novel translation due to S.K. Thomason.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • First-Order Classical Modal Logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
    The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer in the first part of the paper a series of new completeness results for salient classical systems of first order modal logic. Among other results we show that it is possible to prove strong completeness results for normal systems without the Barcan Formula (like (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Computable Isomorphisms of Boolean Algebras with Operators.Bakhadyr Khoussainov & Tomasz Kowalski - 2012 - Studia Logica 100 (3):481-496.
    In this paper we investigate computable isomorphisms of Boolean algebras with operators (BAOs). We prove that there are examples of polymodal Boolean algebras with finitely many computable isomorphism types. We provide an example of a polymodal BAO such that it has exactly one computable isomorphism type but whose expansions by a constant have more than one computable isomorphism type. We also prove a general result showing that BAOs are complete with respect to the degree spectra of structures, computable dimensions, expansions (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Agents Necessitating Effects in Newtonian Time and Space: From Power and Opportunity to Effectivity.Jan Broersen - 2019 - Synthese 196 (1):31-68.
    We extend stit logic by adding a spatial dimension. This enables us to distinguish between powers and opportunities of agents. Powers are agent-specific and do not depend on an agent’s location. Opportunities do depend on locations, and are the same for every agent. The central idea is to define the real possibility to see to the truth of a condition in space and time as the combination of the power and the opportunity to do so. The focus on agent-relative powers (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Quantification in Some Non-Normal Modal Logics.Erica Calardo & Antonino Rotolo - 2017 - Journal of Philosophical Logic 46 (5):541-576.
    This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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   2 citations