Search results for 'quantified modal logic' (try it on Scholar)

1000+ found
Order:
  1. A. N. Prior & Institute of Applied Logic (1954). The Interpretation of Two Systems of Modal Logic. Institute of Applied Logic.
     
    Export citation  
     
    My bibliography  
  2.  64
    Andrea Iacona (forthcoming). Ockhamism and Quantified Modal Logic. Logique Et Analyse.
    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  
     
    My bibliography   1 citation  
  3.  2
    Geir Waagbø & G. Waagbø (1992). Quantified Modal Logic with Neighborhood Semantics. 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 (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  71
    Bartosz Więckowski (2010). Associative Substitutional Semantics and Quantified Modal Logic. 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  10
    Benjamin G. Rin & Sean Walsh (forthcoming). Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction. Review of Symbolic Logic.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  13
    Yannis Stephanou (2002). Investigations Into Quantified Modal Logic. 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  7.  55
    Phillip Bricker (1989). Quantified Modal Logic and the Plural De Re. 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 (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  8. Bernard Linsky & Edward N. Zalta (1994). In Defense of the Simplest Quantified Modal Logic. Philosophical Perspectives 8 (Logic and Language):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 (6 more)  
     
    Export citation  
     
    My bibliography   28 citations  
  9.  5
    Carlos Areces, Patrick Blackburn & Maarten Marx (2003). Repairing the Interpolation Theorem in Quantified Modal Logic. 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  
     
    My bibliography   7 citations  
  10.  96
    James W. Garson (2005). Unifying Quantified Modal Logic. 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 (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  64
    Thomas J. McKay (1975). Essentialism in Quantified Modal Logic. 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  12.  26
    John Woods (1973). Descriptions, Essences and Quantified Modal Logic. 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 (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  30
    Bartosz Wieckowski, Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.
    This dissertation develops a substitutional semantics for first-order (modal) logic which, unlike truth-value semantics, allows a fine-grained analysis of the semantical behaviour of the terms and predicates from which atomic formulae are composed. Moreover, it proposes a nondenotational philosophical foundation for the semantics of substitutional quantified (modal) logic.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  14.  1
    Eric Gillet Paul Gochet (1999). Quantified Modal Logic, Dynamic Semantics and S 5. 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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  15. David Efird (2009). Divine Command Theory and the Semantics of Quantified Modal Logic. In Yujin Nagasawa & Erik J. Wielenberg (eds.), New Waves in Philosophy of Religion. Palgrave Macmillan 91.
    I offer a series of axiomatic formalizations of Divine Command Theory motivated by certain methodological considerations. Given these considerations, I present what I take to be the best axiomatization of Divine Command Theory, an axiomatization which requires a non-standardsemantics for quantified modal logic.
     
    Export citation  
     
    My bibliography  
  16. Reina Hayaki (2002). Actualism and Quantified Modal Logic. 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  
     
    My bibliography  
  17.  19
    Anil Gupta (1980). The Logic of Common Nouns: An Investigation in Quantified Modal Logic. Yale University Press.
  18.  56
    Veikko Rantala (1982). Quantified Modal Logic: Non-Normal Worlds and Propositional Attitudes. 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 (5 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  19. David K. Lewis (1968). Counterpart Theory and Quantified Modal Logic. Journal of Philosophy 65 (5):113-126.
  20.  65
    Christopher Menzel (1993). Singular Propositions and Modal Logic. Philosophical Topics 21 (2):113-148.
    According to many actualists, propositions, singular propositions in particular, are structurally complex, that is, roughly, (i) they have, in some sense, an internal structure that corresponds rather directly to the syntactic structure of the sentences that express them, and (ii) the metaphysical components, or constituents, of that structure are the semantic values — the meanings — of the corresponding syntactic components of those sentences. Given that reference is "direct", i.e., that the meaning of a name is its denotation, an apparent (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  21.  52
    Saul A. Kripke (2015). Quantified Modal Logic and Quine's Critique: Some Further Observations. Noûs 50 (2).
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    Bartosz Więckowski (2010). Associative Substitutional Semantics and Quantified Modal Logic. Studia Logica 94 (1):105-138.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  8
    Philip Kremer (2014). Quantified Modal Logic on the Rational Line. Review of Symbolic Logic 7 (3):439-454.
  24.  63
    Thomas Jager (1982). An Actualistic Semantics for Quantified Modal Logic. Notre Dame Journal of Formal Logic 23 (3):335-349.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  25.  41
    Kit Fine (1979). Failures of the Interpolation Lemma in Quantified Modal Logic. Journal of Symbolic Logic 44 (2):201-206.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  26. James W. Garson (2005). Unifying Quantified Modal Logic. Journal of Philosophical Logic 34 (5-6):621-649.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  27. Saul A. Kripke (1983). Review: Kit Fine, Failures of the Interpolation Lemma in Quantified Modal Logic. [REVIEW] Journal of Symbolic Logic 48 (2):486-488.
     
    Export citation  
     
    My bibliography   2 citations  
  28.  16
    C. Smoryński (1987). Quantified Modal Logic and Self-Reference. Notre Dame Journal of Formal Logic 28 (3):356-370.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29. Frank Vlach (1983). Review: Anil Gupta, The Logic of Common Nouns. An Investigation in Quantified Modal Logic. [REVIEW] Journal of Symbolic Logic 48 (2):500-501.
     
    Export citation  
     
    My bibliography  
  30.  1
    Giovanna Corsi (1988). Quantified Modal Logic With Rigid Terms. Mathematical Logic Quarterly 34 (3):251-259.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31. Terence Parsons (1967). Grades of Essentialism in Quantified Modal Logic. Noûs 1 (2):181-191.
  32.  98
    Terence Parsons (1969). Essentialism and Quantified Modal Logic. Philosophical Review 78 (1):35-52.
  33.  80
    David Lewis (1993). Counterpart Theory, Quantified Modal Logic, and Extra Argument Places. Analysis 53 (2):69-71.
  34.  4
    Geir Waagbø & G. Waagbø (1992). Quantified Modal Logic with Neighborhood Semantics. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):491-499.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  37
    Nicholas Rescher & Zane Parks (1973). Possible Individuals, Trans-World Identity, and Quantified Modal Logic. Noûs 7 (4):330-350.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  36.  4
    Giovanna Corsi (1988). Quantified Modal Logic With Rigid Terms. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):251-259.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  19
    Zane Parks (1976). Investigations Into Quantified Modal Logic-I. Studia Logica 35 (2):109 - 125.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  38. Kai Yee Wong, Rigid Designation, Existence and Semantics for Quantified Modal Logic.
    In an English article (‘On Expressions’) Professor Shen Youding writes, ‘the meaning of a name is not the object which is mentioned by means of it’ (Shen 1992: 11). This remark touches on a big issue that has divided contemporary philosophers of language. On the one side is the Millian (after J.S. Mill), who maintains that the semantic value of a name is the object which it designates, denotes, or refers to (as I use them here, these three terms are (...)
     
    Export citation  
     
    My bibliography  
  39.  23
    Paul Gochet Et Eric Gillet (1999). Quantified Modal Logic, Dynamic Semantics and S 5. Dialectica 53 (3-4):243–251.
  40. Alessandro Torza (2007). An Interpretive Independence-Friendly Quantified Modal Logic. In Michal Pelis (ed.), The LOGICA Yearbook 2007. Filosofia. Academy of Sciences of the Czech Republic
  41. John Robert Baker (1973). Quantified Modal Logic and the Problem of Essentialism. Dissertation, Vanderbilt University
     
    Export citation  
     
    My bibliography  
  42. W. Stephen Croddy (1988). Quine Against Essentialism and Quantified Modal Logic. Logique Et Analyse 31 (123-124):317-328.
     
    Export citation  
     
    My bibliography  
  43. Paul Gochet & Eric Gillet (1999). Quantified Modal Logic, Dynamic Semantics and S 5. Dialectica 53 (3‐4):243-251.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  44. M. Perrick & H. de Swart (1993). Quantified Modal Logic, Reference and Essentialism. Logique Et Analyse 143 (143-144):219-231.
     
    Export citation  
     
    My bibliography  
  45. Tushar K. Sarkar (1981). Some Proposed Cures for the Maladies of Quantified Modal Logic: A Critical Survey. In Krishna Roy (ed.), Mind, Language, and Necessity. Macmillan India
     
    Export citation  
     
    My bibliography  
  46.  17
    R. Jones (2013). Robert Goldblatt. Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics. Lecture Notes in Logic; 38. Cambridge: Cambridge University Press, 2011. Isbn 978-1-107-01052-9. Pp. XIII + 282. [REVIEW] Philosophia Mathematica 21 (1):123-127.
  47.  43
    Timothy Williamson (2013). Modal Logic as Metaphysics. Oxford University Press.
    Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified <span class='Hi'>modal</span> <span class='Hi'>logic</span>. Contrary to the widespread assumption that <span class='Hi'>logic</span> and <span class='Hi'>metaphysics</span> are disjoint, he argues that <span class='Hi'>modal</span> <span class='Hi'>logic</span> provides a structural core for <span class='Hi'>metaphysics</span>.
    Direct download  
     
    Export citation  
     
    My bibliography   33 citations  
  48.  73
    Christopher Menzel (1991). The True Modal Logic. Journal of Philosophical Logic 20 (4):331 - 374.
  49.  15
    Tim Fernando (1999). A Modal Logic for Non-Deterministic Discourse Processing. Journal of Logic, Language and Information 8 (4):445-468.
    A modal logic for translating a sequence of English sentences to a sequence of logical forms is presented, characterized by Kripke models with points formed from input/output sequences, and valuations determined by entailment relations. Previous approaches based (to one degree or another) on Quantified Dynamic Logic are embeddable within it. Applications to presupposition and ambiguity are described, and decision procedures and axiomatizations supplied.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  50.  28
    Walter Dean (2014). Montague’s Paradox, Informal Provability, and Explicit Modal Logic. Notre Dame Journal of Formal Logic 55 (2):157-196.
    The goal of this paper is to explore the significance of Montague’s paradox—that is, any arithmetical theory $T\supseteq Q$ over a language containing a predicate $P$ satisfying $P\rightarrow \varphi $ and $T\vdash \varphi \,\therefore\,T\vdash P$ is inconsistent—as a limitative result pertaining to the notions of formal, informal, and constructive provability, in their respective historical contexts. To this end, the paradox is reconstructed in a quantified extension $\mathcal {QLP}$ of Artemov’s logic of proofs. $\mathcal {QLP}$ contains both explicit modalities (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 1000