Results for 'modal logic,'

961 found
Order:
  1. (2 other versions)Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
  2. Counterpart theory and quantified modal logic.David Lewis - 1968 - Journal of Philosophy 65 (5):113-126.
  3. (1 other version)Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
  4. (1 other version)A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
  5. In defense of the simplest quantified modal logic.Bernard Linsky & Edward N. Zalta - 1994 - Philosophical Perspectives 8:431-458.
    The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   172 citations  
  6. Two-dimensional modal logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
  7. Advice on modal logic.D. Scott - 1980 - In Karel Lambert, Philosophical problems in logic: some recent developments. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 143--173.
  8. Counterpart-theoretic semantics for modal logic.Allen Hazen - 1979 - Journal of Philosophy 76 (6):319-338.
  9.  10
    Olivier Gasquet and Andreas Herzig.From Classical to Normal Modal Logics - 1996 - In Heinrich Wansing, Proof theory of modal logic. Boston: Kluwer Academic Publishers.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. (1 other version)Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi.Saul A. Kripke - 1965 - In J. W. Addison, The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 206-20.
  11. A cut-free sequent system for two-dimensional modal logic, and why it matters.Greg Restall - 2012 - Annals of Pure and Applied Logic 163 (11):1611-1623.
    The two-dimensional modal logic of Davies and Humberstone [3] is an important aid to our understanding the relationship between actuality, necessity and a priori knowability. I show how a cut-free hypersequent calculus for 2D modal logic not only captures the logic precisely, but may be used to address issues in the epistemology and metaphysics of our modal concepts. I will explain how the use of our concepts motivates the inference rules of the sequent calculus, and then show (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  12. (1 other version)The problem of interpreting modal logic.W. V. Quine - 1947 - Journal of Symbolic Logic 12 (2):43-48.
  13.  96
    A System of Modal Logic.Jan Łukasiewicz - 1953 - Proceedings of the XIth International Congress of Philosophy 14:82-87.
    Direct download  
     
    Export citation  
     
    Bookmark   65 citations  
  14. Essentialism and quantified modal logic.Terence Parsons - 1969 - Philosophical Review 78 (1):35-52.
  15. An incompleteness theorem in modal logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.
  16. The Worlds of Possibility: Modal Realism and the Semantic of Modal Logic.Charles S. Chihara - 1998 - Oxford, England: Oxford University Press UK.
    Charles Chihara gives a thorough critical exposition of modal realism, the philosophical doctrine that there exist many possible worlds of which the actual world--the universe in which we live--is just one. The striking success of possible-worlds semantics in modal logic has made this ontological doctrine attractive. Modal realists maintain that philosophers must accept the existence of possible worlds if they wish to have the benefit of using possible-worlds semantics to assess modal arguments and explain modal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  17. (1 other version)ModelTtheory for Modal Logic. Part I — The de re/de Dicto distinction.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):125 - 156.
  18. Essentialism in modal logic.Ruth Barcan Marcus - 1967 - Noûs 1 (1):91-96.
  19.  34
    The predicate modal logic of provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.
  20. Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
    This is identical with the first edition (see 21: 2716) except for the addition of a Supplement containing 5 previously published articles and the bringing of the bibliography (now 73 items) up to date. The 5 added articles present clarifications or modifications of views expressed in the first edition. (PsycINFO Database Record (c) 2009 APA, all rights reserved).
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   624 citations  
  21.  51
    Objects and Modalities: A Study in the Semantics of Modal Logic.Tero Tulenheimo - 2017 - Cham, Switzerland: Springer Verlag.
    This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as (...)
  22. Abstraction in First-Order Modal Logic.Robert C. Stalnaker & Richmond H. Thomason - 1968 - Theoria 34 (3):203-207.
    The first amounts, roughly, to "It is necessarily the case that any President of the U.S. is a citizen of the U.S." But the second says, "the person who in fact is the President of the U.S, has the property of necessarily being a citizen of the U.S," Thus, while (2) is clearly true, it would be reasonable to consider (3) false.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  23. Model theory for modal logic—part II The elimination of de re modality.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):277 - 306.
  24.  50
    An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.
    Given a normal (multi-)modal logic a characterization is given of the finitely presentable algebras A whose logics L A split the lattice of normal extensions of . This is a substantial generalization of Rautenberg [10] and [11] in which is assumed to be weakly transitive and A to be finite. We also obtain as a direct consequence a result by Blok [2] that for all cycle-free and finite A L A splits the lattice of normal extensions of K. Although (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  25.  44
    A Sahlqvist theorem for distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  26. On Williamson and simplicity in modal logic.Theodore Sider - 2016 - Canadian Journal of Philosophy 46 (4-5):683-698.
    According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  27.  25
    Rose Alan. Self-dual primitives for modal logic. Mathematische Annalen, vol. 125 , pp. 284–286.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (3):282-283.
  28.  67
    Repairing the interpolation theorem in quantified modal logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
    Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's definability theorem fail in a number of well-known quantified modal logics , their counterparts in quantified hybrid logic have these properties. These are special cases of the main result of the paper: the quantified hybrid logic of any class of frames definable in the bounded fragment of first-order logic has the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  29. Barcan Formulas in Second-Order Modal Logic.Timothy Williamson - 2015 - In Themes From Barcan Marcus. Lauener Library of Analytical Philosophy, Vol. 3. pp. 51-74.
    Second-order logic and modal logic are both, separately, major topics of philosophical discussion. Although both have been criticized by Quine and others, increasingly many philosophers find their strictures uncompelling, and regard both branches of logic as valuable resources for the articulation and investigation of significant issues in logical metaphysics and elsewhere. One might therefore expect some combination of the two sorts of logic to constitute a natural and more comprehensive background logic for metaphysics. So it is somewhat surprising to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  30. Post completeness in modal logic.Krister Segerberg - 1972 - Journal of Symbolic Logic 37 (4):711-715.
  31.  43
    Rules with parameters in modal logic I.Emil Jeřábek - 2015 - Annals of Pure and Applied Logic 166 (9):881-933.
  32. Topology and modality: The topological interpretation of first-order modal logic: Topology and modality.Steve Awodey - 2008 - Review of Symbolic Logic 1 (2):146-166.
    As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33. Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.
    In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  34.  51
    Quantifier-free epistemic term-modal logic with assignment operator.Yanjing Wang, Yu Wei & Jeremy Seligman - 2022 - Annals of Pure and Applied Logic 173 (3):103071.
  35.  93
    An incomplete system of modal logic.George Boolos & Giovanni Sambin - 1985 - Journal of Philosophical Logic 14 (4):351 - 358.
  36. Model theory for modal logic—part III existence and predication.Kit Fine - 1981 - Journal of Philosophical Logic 10 (3):293 - 307.
  37.  51
    Topos Semantics for Higher-Order Modal Logic.Steve Awodey, Kohei Kishida & Hans-Cristoph Kotzsch - 2014 - Logique Et Analyse 228:591-636.
    We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise from surjective (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  38.  13
    Expressivity of Second Order Propositional Modal Logic.Balder Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
    We consider second-order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem–Rosen theorem and the Goldblatt Thomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of SOPML, and we characterize the bounded fragment of first-order logic as being the intersection of first-order logic and SOPML.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  39.  32
    Second-order propositional modal logic and monadic alternation hierarchies.Antti Kuusisto - 2015 - Annals of Pure and Applied Logic 166 (1):1-28.
  40. Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
    A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers (...)
    Direct download  
     
    Export citation  
     
    Bookmark   460 citations  
  41.  60
    (1 other version)Noncompactness in propositional modal logic.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (4):716-720.
  42.  23
    Non-Well-Founded Proofs for the Grzegorczyk Modal Logic.Yury Savateev & Daniyar Shamkanov - 2021 - Review of Symbolic Logic 14 (1):22-50.
    We present a sequent calculus for the Grzegorczyk modal logic$\mathsf {Grz}$allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs. As an application, we establish the Lyndon interpolation property for the logic$\mathsf {Grz}$proof-theoretically.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  23
    A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic.Gennady Shtakser - 2023 - Journal of Logic, Language and Information 32 (3):511-538.
    In this paper, we introduce a variant of second-order propositional modal logic interpreted on general (or Henkin) frames, \(SOPML^{\mathcal {H}}\), and present a decidable fragment of this logic, \(SOPML^{\mathcal {H}}_{dec}\), that preserves important expressive capabilities of \(SOPML^{\mathcal {H}}\). \(SOPML^{\mathcal {H}}_{dec}\) is defined as a _modal loosely guarded fragment_ of \(SOPML^{\mathcal {H}}\). We demonstrate the expressive power of \(SOPML^{\mathcal {H}}_{dec}\) using examples in which modal operators obtain (a) the epistemic interpretation, (b) the dynamic interpretation. \(SOPML^{\mathcal {H}}_{dec}\) partially satisfies the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  48
    The Expressive Power of Second-Order Propositional Modal Logic.Michael Kaminski & Michael Tiomkin - 1996 - Notre Dame Journal of Formal Logic 37 (1):35-43.
    It is shown that the expressive power of second-order propositional modal logic whose modalities are S4.2 or weaker is the same as that of second-order predicate logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  45.  74
    A New Semantics for Positive Modal Logic.S. Celani & R. Jansana - 1997 - Notre Dame Journal of Formal Logic 38 (1):1-18.
    The paper provides a new semantics for positive modal logic using Kripke frames having a quasi ordering on the set of possible worlds and an accessibility relation connected to the quasi ordering by the conditions (1) that the composition of with is included in the composition of with and (2) the analogous for the inverse of and . This semantics has an advantage over the one used by Dunn in "Positive modal logic," Studia Logica (1995) and works fine (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  46.  18
    On IF Modal Logic and its Expressive Power.Tero Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 475-498.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  47.  7
    On IF Modal Logic and its Expressive Power.Tero Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 475-498.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  48.  40
    Uniform interpolation and sequent calculi in modal logic.Rosalie Iemhoff - 2019 - Archive for Mathematical Logic 58 (1-2):155-181.
    A method is presented that connects the existence of uniform interpolants to the existence of certain sequent calculi. This method is applied to several modal logics and is shown to cover known results from the literature, such as the existence of uniform interpolants for the modal logic \. New is the result that \ has uniform interpolation. The results imply that for modal logics \ and \, which are known not to have uniform interpolation, certain sequent calculi (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  93
    Provability, truth, and modal logic.George Boolos - 1980 - Journal of Philosophical Logic 9 (1):1 - 7.
  50. G. E. Hughes & M. J. Cresswell, A New Introduction to Modal Logic. [REVIEW]Paolo Crivelli & Timothy Williamson - 1998 - Philosophical Review 107 (3):471.
    This volume succeeds the same authors' well-known An Introduction to Modal Logic and A Companion to Modal Logic. We designate the three books and their authors NIML, IML, CML and H&C respectively. Sadly, George Hughes died partway through the writing of NIML.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   142 citations  
1 — 50 / 961