Results for 'Quantified modal logic'

993 found
Order:
  1.  13
    Quantified Modal Logics: One Approach to Rule (Almost) them All!Eugenio Orlandelli - forthcoming - Journal of Philosophical Logic:1-38.
    We present a general approach to quantified modal logics that can simulate most other approaches. The language is based on operators indexed by terms which allow to express de re modalities and to control the interaction of modalities with the first-order machinery and with non-rigid designators. The semantics is based on a primitive counterpart relation holding between n-tuples of objects inhabiting possible worlds. This allows an object to be represented by one, many, or no object in an accessible (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. (A Little) Quantified Modal Logic for Normativists.Mark Povich - forthcoming - Analysis.
    Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. On the translation from quantified modal logic to counterpart theory.Cristina Nencha - 2022 - Synthese 200 (5):1-15.
    Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  30
    Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas.Andrew Joseph McCarthy - 2021 - Notre Dame Journal of Formal Logic 62 (2):285-301.
    This paper develops some modal metatheory for quantified modal logic. In such a theory, the logic of a first-order modal object-language is made sensitive to the modal facts, stated in the metalanguage. This is radically different from possible worlds semantics, which reduces questions of validity to questions of nonmodal set theory. We consider theories which characterize a notion of truth under a second-order interpretation, where an operator for metaphysical necessity is treated homophonically. The (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  34
    Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
    The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting formulas are presented. A completeness theorem is proved, and the relation between this result and completeness with respect to Kripke models is investigated.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  6. Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.
    Modal sentences of the form "every F might be G" and "some F must be G" have a threefold ambiguity. in addition to the familiar readings "de dicto" and "de re", there is a third reading on which they are examples of the "plural de re": they attribute a modal property to the F's plurally in a way that cannot in general be reduced to an attribution of modal properties to the individual F's. The plural "de re" (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  7.  75
    Unifying Quantified Modal Logic.James W. Garson - 2005 - Journal of Philosophical Logic 34 (5-6):621-649.
    Quantified modal logic has reputation for complexity. Completeness results for the various systems appear piecemeal. Different tactics are used for different systems, and success of a given method seems sensitive to many factors, including the specific combination of choices made for the quantifiers, terms, identity, and the strength of the underlying propositional modal logic. The lack of a unified framework in which to view QMLs and their completeness properties puts pressure on those who develop, apply, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  8.  90
    Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames.Peter Fritz - 2024 - Journal of Symbolic Logic 89 (2):758-793.
    Propositional modal logic over relational frames is naturally extended with propositional quantifiers by letting them range over arbitrary sets of worlds of the relevant frame. This is also known as second-order propositional modal logic. The propositionally quantified modal logic of a class of relational frames is often not axiomatizable, although there are known exceptions, most notably the case of frames validating the strong modal logic $\mathrm {S5}$. Here, we develop new general (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  39
    Quantified modal logic on the rational line.Philip Kremer - 2014 - Review of Symbolic Logic 7 (3):439-454.
  10. Quantified modal logic: Non-normal worlds and propositional attitudes.Veikko Rantala - 1982 - Studia Logica 41 (1):41 - 65.
    One way to obtain a comprehensive semantics for various systems of modal logic is to use a general notion of non-normal world. In the present article, a general notion of modal system is considered together with a semantic framework provided by such a general notion of non-normal world. Methodologically, the main purpose of this paper is to provide a logical framework for the study of various modalities, notably prepositional attitudes. Some specific systems are studied together with semantics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  11.  98
    Actualism, Serious Actualism, and Quantified Modal Logic.William H. Hanson - 2018 - Notre Dame Journal of Formal Logic 59 (2):233-284.
    This article studies seriously actualistic quantified modal logics. A key component of the language is an abstraction operator by means of which predicates can be created out of complex formulas. This facilitates proof of a uniform substitution theorem: if a sentence is logically true, then any sentence that results from substituting a predicate abstract for each occurrence of a simple predicate abstract is also logically true. This solves a problem identified by Kripke early in the modern semantic study (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  59
    Realizability semantics for quantified modal logic: Generalizing flagg’s 1985 construction.Benjamin G. Rin & Sean Walsh - 2016 - Review of Symbolic Logic 9 (4):752-809.
    A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal version of Church's Thesis and first-order arithmetic. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope of this approach, we show that the construction produces (i) a model of a modal version of Church's Thesis and a variant (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Quantified Modal Logic.Horacio Costa - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
    The chapter is divided in two parts. The first part gives an introduction to issues in quantified modal logic. We provide an overview of recent work in QML and we presuppose the use of a relational semantics. We discuss models for constant domains, increasing domains and varying domains and present axiomatizations for the corresponding logics. We also discuss philosophical issues related to the interpretation of the quantifiers, terms and identity and we present a first-order quantified intensional (...)
     
    Export citation  
     
    Bookmark  
  14. Quine and Quantified Modal Logic – Against the Received View.Adam Tamas Tuboly - 2015 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 22 (4):518-545.
    The textbook-like history of analytic philosophy is a history of myths, re-ceived views and dogmas. Though mainly the last few years have witnessed a huge amount of historical work that aimed to reconsider our narratives of the history of ana-lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the received view Kripke has defeated all the arguments of Quine against (...) modal logic and thus it became a respectful tool for philosophers. If we accept the historical interpreta-tion of the network between Quine, Kripke and modal logic, which is to be presented here, we have to conclude that Quine’s real philosophical animadversions against the modalities are still on the table: though Kripke has provided some important (formal-logical) answers, Quine’s animadversions are still viable and worthy of further consideration. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  78
    Ruth Barcan Marcus and quantified modal logic.Frederique Janssen-Lauret - 2021 - British Journal for the History of Philosophy 30 (2):353-383.
    Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16. Quantified Modal Logic and Quine's Critique: Some Further Observations.Saul A. Kripke - 2017 - Noûs 51 (2):235-237.
  17.  13
    Quantified Modal Logic, Dynamic Semantics and S 5.Eric Gillet Paul Gochet - 1999 - Dialectica 53 (3-4):243-251.
    Prof. Ruth Barcan Marcus created quantified modal logic in 1946. She extended the Lewis calculus S2 to cover quantification. Quantified modal logic became an essential tool for the rigorous study of natural language in the hands of R. Montague in the late sixties. Some complex phenomena cannot be properly handled at the level of sentences. Recent researches in formal semantics have concentrated on discourse and led to a rich amount of results. Logical theories introduced (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Ockhamism and Quantified Modal Logic.Andrea Iacona - 2015 - Logique Et Analyse 58:353-370.
    This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  44
    Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):491-499.
  20.  22
    A General Semantics for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 227-246.
    This paper uses an "admissible set semantics" to treat quantification in quantified modal logics. The truth condition for the universal quantifier states that a universally quantified statement (x)A(x) is true at a world w if and only if there is some proposition true at that world that entails every instance of A(x). It is shown that, for any canonical propositional modal logic the corresponding admissible set semantics characterises the quantified version of that modal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  46
    Investigations into Quantified Modal Logic.Yannis Stephanou - 2002 - Notre Dame Journal of Formal Logic 43 (4):193-220.
    In this paper, I investigate a system of quantified modal logic, due in many respects to Bressan (see [2]), from several perspectives -- both semantic and proof-theoretic. As Anderson and Belnap note in [1]: "It seems to be generally conceded that formal systems are natural or substantial if they can be looked at from several points of view. We tend to think of systems as artificial or ad hoc if most of their formal properties arise from some (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  50
    Partial Semantics for Quantified Modal Logic.Eric Johannesson - 2018 - Journal of Philosophical Logic 47 (6):1049-1060.
    When it comes to Kripke-style semantics for quantified modal logic, there’s a choice to be made concerning the interpretation of the quantifiers. The simple approach is to let quantifiers range over all possible objects, not just objects existing in the world of evaluation, and use a special predicate to make claims about existence. This is the constant domain approach. The more complicated approach is to assign a domain of objects to each world. This is the varying domain (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Counterpart theory and quantified modal logic.David Lewis - 1968 - Journal of Philosophy 65 (5):113-126.
  24.  35
    Quantified modal logic and self-reference.C. Smoryński - 1987 - Notre Dame Journal of Formal Logic 28 (3):356-370.
  25.  32
    Quantified Modal Logic With Rigid Terms.Giovanna Corsi - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):251-259.
  26.  18
    A General Semantic for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 227-246.
    In "An Alternative Semantics for Quantified Relevant Logic" (JSL 71 (2006)) we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complete semantics to the quantified extensions, both with and without the Barcan formula, of every proposi- tional modal logic S. If S is canonical our models are based on propositional frames that validate S. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Ruth Barcan Marcus and quantified modal logic.Frederique Janssen-Lauret - 2022 - British Journal for the History of Philosophy 30 (2):353-383.
    ABSTRACT Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  8
    Bisimulation Quantified Modal Logics: Decidability.Tim French - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 147-166.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  14
    Quantified Modal Logic With Rigid Terms.Giovanna Corsi - 1988 - Mathematical Logic Quarterly 34 (3):251-259.
  30.  14
    Quantified Modal Logic, Dynamic Semantics and S 5.Paul Gochet & Eric Gillet - 1999 - Dialectica 53 (3‐4):243-251.
  31. 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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   164 citations  
  32. Quantified Modal Logic and the Problem of Essentialism.John Robert Baker - 1973 - Dissertation, Vanderbilt University
     
    Export citation  
     
    Bookmark  
  33.  36
    Quantified modal logics of positive rational numbers and some related systems.Giovanna Corsi - 1993 - Notre Dame Journal of Formal Logic 34 (2):263-283.
  34.  43
    Associative Substitutional Semantics and Quantified Modal Logic.Bartosz Więckowski - 2010 - Studia Logica 94 (1):105-138.
    The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Quantified modal logic, reference and essentialism.M. Perrick & H. de Swart - 1993 - Logique Et Analyse 143 (143-144):219-231.
     
    Export citation  
     
    Bookmark  
  36.  37
    Quantified modal logic, dynamic semantics and S 5.Paul Gochet Et Eric Gillet - 1999 - Dialectica 53 (3-4):243–251.
  37.  16
    Constant Domain Quantified Modal Logics Without Boolean Negation.Greg Restall - 2005 - Australasian Journal of Logic 3:45-62.
    his paper provides a sound and complete axiomatisation for constant domain modal logics without Boolean negation. This is a simpler case of the difficult problem of providing a sound and complete axiomatisation for constant-domain quantified relevant logics, which can be seen as a kind of modal logic with a two-place modal operator, the relevant conditional. The completeness proof is adapted from a proof for classical modal predicate logic (I follow James Garson’s 1984 presentation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Essentialism in quantified modal logic.Thomas J. McKay - 1975 - Journal of Philosophical Logic 4 (4):423 - 438.
    This paper mentions several different sorts of "essentialism," and examines various senses in which quantified modal logic is "committed to" the most troublesome kind of essentialism. It is argued that essentialism is neither provable, Nor entailed by any contingently true non-Modal sentence. But quantified modal logic is committed to the meaningfulness of essentialism. This sort of commitment may be made innocuous by requiring that essentialism simply be made logically false; some of the consequences (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  47
    Counterparts, Essences and Quantified Modal Logic.Tomasz Bigaj - forthcoming - Logic and Logical Philosophy:1-14.
    It is commonplace to formalize propositions involving essential properties of objects in a language containing modal operators and quantifiers. Assuming David Lewis’s counterpart theory as a semantic framework for quantified modal logic, I will show that certain statements discussed in the metaphysics of modality de re, such as the sufficiency condition for essential properties, cannot be faithfully formalized. A natural modification of Lewis’s translation scheme seems to be an obvious solution but is not acceptable for various (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Actualism and Quantified Modal Logic.Reina Hayaki - 2002 - Dissertation, Princeton University
    It has been alleged that actualism and quantified modal logic are incompatible. My aim in this dissertation is twofold: to defend thoroughgoing actualism with respect to possible objects, and to present a modified semantics for quantified modal logic that is compatible with such a position. The basic strategy is to draw on the parallels between fictions and possible worlds to develop a hierarchical system of worlds-within-worlds ;Actualists usually take first-order modal statements as being (...)
     
    Export citation  
     
    Bookmark  
  41.  44
    Descriptions, essences and quantified modal logic.John Woods - 1973 - Journal of Philosophical Logic 2 (2):304 - 321.
    Could one give expression to a doctrine of essentialism without running afoul of semantical problems that are alleged to beggar systems of quantified modal logic? An affirmative answer is, I believe, called for at least in the case of individual essentialism. Individual essentialism is an ontological thesis concerning a kind of necessary connection between objects and their (essential) properties. It is not or anyhow not primarily a semantic thesis, a thesis about meanings, for example. And thus we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  52
    Quantified Modal Relevant Logics.Nicholas Ferenz - 2023 - Review of Symbolic Logic 16 (1):210-240.
    Here, I combine the semantics of Mares and Goldblatt [20] and Seki [29, 30] to develop a semantics for quantified modal relevant logics extending ${\bf B}$. The combination requires demonstrating that the Mares–Goldblatt approach is apt for quantified extensions of ${\bf B}$ and other relevant logics, but no significant bridging principles are needed. The result is a single semantic approach for quantified modal relevant logics. Within this framework, I discuss the requirements a quantified (...) relevant logic must satisfy to be “sufficiently classical” in its modal fragment, where frame conditions are given that work for positive fragments of logics. The roles of the Barcan formula and its converse are also investigated. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43. Essentialism and quantified modal logic.Terence Parsons - 1969 - Philosophical Review 78 (1):35-52.
  44.  19
    Investigations into quantified modal logic.Zane Parks - 1976 - Studia Logica 35:109.
  45. An actualistic semantics for quantified modal logic.Thomas Jager - 1982 - Notre Dame Journal of Formal Logic 23 (3):335-349.
  46. Grades of essentialism in quantified modal logic.Terence Parsons - 1967 - Noûs 1 (2):181-191.
  47.  53
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  48. The logic of common nouns: an investigation in quantified modal logic.Anil Gupta - 1980 - New Haven: Yale University Press.
  49.  44
    Hi-individuals and Where to Find Them—Towards a Hi-world Semantics for Quantified Modal Logic.Cheng-Chih Tsai - 2020 - Acta Analytica 35 (2):165-179.
    If to be is to be the value of a bound variable, then the acknowledgment and denial of the existence of chairs amounts to a serious disagreement about the range of a quantifier. However, by resorting to the intrinsic hierarchical structure of hi-world semantics, we find that the varying of domains from worlds to worlds can actually be accommodated within a unified framework. With the introduction of a universal domain D of hi-individuals and an existence predicate E that serves as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  19
    A Resolution Method for Quantified Modal Logics of Knowledge and Belief.William J. Rapaport, Christophe Geissler & Kurt Konolige - 1988 - Journal of Symbolic Logic 53 (2):668.
1 — 50 / 993