This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
About this topic
Introductions Fitting & Mendelsohn 1998
Related categories

142 found
Order:
1 — 50 / 142
  1. added 2020-04-23
    Now, Imagine an Actually Existing Unicorn: On Russellian Worries for Modal Meinongianism.Andreas de Jong - forthcoming - Axiomathes:1-16.
    Modal Meinongianism provides the semantics of sentences involving intentional verbs Priest (Towards Nonbeing, Oxford University Press, Oxford, 2016). To that end, Modal Meinongianism employs a pointed non-normal quantified modal logic model. Like earlier Meinongian views Modal Meinongianism has a characterisation principle (QCP), that claims that any condition whatsoever is satisfied by some object in some world. Recently, Everett (The nonexistent, Oxford University Press, Oxford, 2013, 169, p. 36) has proposed an argument against QCP that, if successful, gives rise to problems (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2020-03-10
    A Note on Algebraic Semantics for $Mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
    In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. added 2019-09-13
    Explicitní/implicitní přesvědčení a derivační systémy [Explicit/Implicit Belief and Derivation Systems].Jiri Raclavsky & Ivo Pezlar - 2019 - Filosoficky Casopis 67 (1): 89-120.
    The problem of hyperintensional contexts, and the problem of logical omniscience, shows the severe limitation of possible-worlds semantics which is employed also in standard epistemic logic. As a solution, we deploy here hyperintensional semantics according to which the meaning of an expression is an abstract structured algorithm, namely Tichý's construction. Constructions determine the denotata of expressions. Propositional attitudes are modelled as attitudes towards constructions of truth values. Such a model of belief is, of course, inferentially restrictive. We therefore also propose (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. added 2019-09-13
    Existential Import and Relations of Categorical and Modal Categorical Statements.Jiri Raclavsky - 2018 - Logic and Logical Philosophy 27 (3): 271-300.
    I examine the familiar quadruple of categorical statements “Every F is/is not G.”, “Some F is/is not G.” as well as the quadruple of their modal versions “Necessarily, every F is/is not G.”, “Possibly, some F is/is not G.”. I focus on their existential import and its impact on the resulting Squares of Opposition. Though my construal of existential import follows modern approach, I add some extra details which are enabled by framing my definition of existential import within expressively rich (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  5. added 2019-09-13
    Two Standard and Two Modal Squares of Opposition.Jiri Raclavsky - 2017 - In The Square of Opposition: A Cornerstone of Thought. 93413 Cham, Německo: pp. 119-142.
    In this study, we examine modern reading of the Square of Opposition by means of Tichý's Transparent intensional logic. Explicit use of possible world semantics helps us to sharply discriminate between standard and modal readings of categorial statements. We thus get two basic versions of the Square, whereas the Modal Square has not been fully introduced in the contemporary debate yet. Some properties ascribed by mediaeval logicians to the Square require a shift from its Standard to Modal version. Not inevitably, (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  6. added 2019-09-13
    The Modal Argument Against Nominal Description Theory.Jiri Raclavsky - 2017 - Kriterion - Journal of Philosophy 31 (1):77-100.
    The paper examines Loar’s and Bach’s defence of Nominal Description Theory against Kripkean Modal Argument (MA). Using formal tools of hyperintensional logic, I discriminate three kinds of nominal description which are possible substitutes for a proper name, thus considering various readings of the MA. On its natural understanding, the MA is valid – contrary to what Loar and Bach say. On the other hand, the soundness of the MA remains doubtful, as pointed out already by Loar and Bach.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. added 2019-09-13
    Semantic Paradoxes and Transparent Intensional Logic.Jiri Raclavsky - 2012 - The Logica Yearbook 2011 (College Publications):239-252.
    The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit approach’ (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. added 2019-09-13
    Semantic Concept of Existential Presupposition.Jiří Raclavský - 2011 - Human Affairs 21 (3):249-261.
    Strawson’s work seems to contain both pragmatic and semantic concepts of presupposition. The former concept has largely been studied by many philosophers and linguists, while the latter has not been properly investigated . The present author explicates the semantic concept of existential presupposition in relation to deriving existential statements and distinguishing their de dicto/de re variants.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. added 2019-09-13
    Reformulating Tichý's Conception of Bare Individuals.Jiří Raclavský - 2008 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 15 (2):143-167.
    A bare individual was conceived by Tichý as an individual such as if the property the individual instantiates is non-trivial , it is possible for the individual to lack it ; and for any trivial property that it cannot lack this kind of property. The exact readings of Tichý’s original formulations of are subjected to a detailed analysis to reveal that any of them is refutable by means of Cmorejian objection that there exist contingent properties which are partly essential . (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  10. added 2019-07-04
    A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
    In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. added 2019-06-26
    The Reduction of Necessity to Essence.Andreas Ditter - 2020 - Mind 129 (514):351-380.
    In `Essence and Modality', Kit Fine proposes that for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all objects whatsoever. Call this view Fine's Thesis. This paper is a study of Fine's Thesis in the context of Fine's logic of essence (LE). Fine himself has offered his most elaborate defense of the thesis in the context of LE. His defense rests on the widely shared assumption that metaphysical necessity obeys the (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. added 2019-06-07
    Investigations into quantified modal logic.Zane Parks - 1976 - Studia Logica 35:109.
    Remove from this list   Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  13. added 2019-06-06
    El estatus ontológico de los mundos posibles.Manuel Pérez Otero - 2009 - Critica 41 (122):69-96.
    Tanto la Fórmula Barcan como la postulación de possibilia contradicen los juicios intuitivos preteóricos de la mayoría de los sujetos, favorables al actualismo sobre la naturaleza de los mundos posibles. En este artículo discuto y rechazo dos argumentos que pretenderían contrarrestar tales juicios, y que conciben erróneamente la relación entre la semántica de mundos posibles y nuestros lenguajes naturales modales. El argumento más importante asume que el dominio de todas las entidades es idéntico al dominio de @. Desarrollo una interpretación (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  14. added 2019-06-06
    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.
    Remove from this list   Direct download (13 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15. added 2019-06-06
    Interpolation for First Order S5.Melvin Fitting - 2002 - Journal of Symbolic Logic 67 (2):621-634.
    An interpolation theorem holds for many standard modal logics, but first order $S5$ is a prominent example of a logic for which it fails. In this paper it is shown that a first order $S5$ interpolation theorem can be proved provided the logic is extended to contain propositional quantifiers. A proper statement of the result involves some subtleties, but this is the essence of it.
    Remove from this list   Direct download (11 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16. added 2019-06-06
    First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   60 citations  
  17. added 2019-06-06
    First-order modal theories. II: Propositions.Kit Fine - 1980 - Studia Logica 39:159.
    This paper is part of a general programme of developing and investigating particular first- order modal theories. In the paper, a modal theory of propositions is constructed under the assumption that there are genuinely singular propositions, ie. ones that contain individuals as constituents. Various results on decidability, axiomatizability and definability are established.
    Remove from this list   Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   12 citations  
  18. added 2019-06-05
    Contingentism About Individuals and Higher-Order Necessitism.Manuel Pérez Otero - 2013 - Theoria : An International Journal for Theory, History and Fundations of Science 28 (3):393-406.
    Necessitism about individuals claims that necessarily every individual necessarily exists. An analogous necessitist thesis attributes necessary existence to properties and relations. Both theses have been defended by Williamson. Furthermore, Williamson specifically argues against the hybrid conjunction of first-order contingentism and higher-order necessitism; a combination that would bring about additional drawbacks. I work out a defence of the hybrid combination, including some replies to Williamson’s additional objections. Considerations of ontological parsimony and pre-theoretical intuitions favour the hybrid view over necessitism at all (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  19. added 2019-04-02
    A Patch to the Possibility Part of Gödel’s Ontological Proof.Johan E. Gustafsson - 2020 - Analysis 80 (2):229-240.
    Kurt Gödel’s version of the Ontological Proof derives rather than assumes the crucial Possibility Claim: the claim that it is possible that something God-like exists. Gödel’s derivation starts off with a proof of the Possible Instantiation of the Positive: the principle that, if a property is positive, it is possible that there exists something that has that property. I argue that Gödel’s proof of this principle relies on some implausible axiological assumptions but it can be patched so that it only (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. added 2019-03-22
    Validity and Actuality.Vittorio Morato - 2014 - Logique Et Analyse 227:379-405.
    The notion of validity for modal languages could be defined in two slightly different ways. The first is the original definition given by S. Kripke, for which a formula φ of a modal language L is valid if and only if it is true in every actual world of every interpretation of L. The second is the definition that has become standard in most textbook presentations of modal logic, for which a formula φ of L is valid if and only (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. added 2019-03-22
    Modal Validity and the Dispensability of the Actuality Operator.Vittorio Morato - 2014 - In Michal Dancak & Vit Punochar (eds.), The Logica Yearbook 2013. London, UK:
    In this paper, I claim that two ways of defining validity for modal languages (“real-world” and “general” validity), corresponding to distinction between a correct and an incorrect way of defining modal valid- ity, correspond instead to two substantive ways of conceiving modal truth. At the same time, I claim that the major logical manifestation of the real- world/general validity distinction in modal propositional languages with the actuality operator should not be taken seriously, but simply as a by-product of the way (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. added 2019-03-07
    Three 13th-Century Views of Quantified Modal Logic.Sara L. Uckelman - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 389-406.
  23. added 2018-10-04
    We Belong Together? A Plea for Modesty in Modal Plural Logic.Simon Hewitt - manuscript
    It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  24. added 2018-05-10
    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 approach. Assuming that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. added 2018-04-04
    Binding Bound Variables in Epistemic Contexts.Brian Rabern - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-31.
    Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke’s "objectual" interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries in the epistemic case. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26. added 2017-12-04
    Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
    We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about quantified multimodal logics. Moreover, it provides a starting point for further logic embeddings and their combinations in simple type theory.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27. added 2017-10-24
    Do Modal Distinctions Collapse in Carnap’s System?Genoveva Marti - 1994 - Journal of Philosophical Logic 23 (6):575 - 593.
    Føllesdal (1966 and 1969) claims that modal distinctions collapse, that is that p and Necessarily p are equivalent, in any system of modal logic that incorporates a standard theory of definite descriptions, like the one proposed by Carnap in M&N. I argue that his argument fails.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  28. added 2017-07-16
    A Free Logic with Intensions as Possible Values of Terms.G. H. Merrill - 1975 - Journal of Philosophical Logic 4 (3):293 - 326.
    This paper contains an axiomatic theory of first order modal logic with operations, identity, and descriptions together with a formal semantics which interprets the theory in such a manner that empty universes of discourse and denotationless terms are allowed for at each possible world. The intuitive basis of the theory is discussed in preliminary sections, the syntax and semantics of theory are then characterized, its semantical adequacy is demonstrated, and certain important axioms and theorems are discussed in detail in later (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. added 2017-06-24
    Strongly Millian Second-Order Modal Logics.Bruno Jacinto - 2017 - Review of Symbolic Logic (3):1-58.
    The most common first- and second-order modal logics either have as theorems every instance of the Barcan and Converse Barcan formulae and of their second-order analogues, or else fail to capture the actual truth of every theorem of classical first- and second-order logic. In this paper we characterise and motivate sound and complete first- and second-order modal logics that successfully capture the actual truth of every theorem of classical first- and second-order logic and yet do not possess controversial instances of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. added 2017-05-12
    Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.
    Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. added 2017-03-29
    Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 2018 - Erkenntnis 83 (3):403-443.
    In this paper we present tableau methods for two-dimensional modal logics. Although models for such logics are well known, proof systems remain rather unexplored as most of their developments have been purely axiomatic. The logics herein considered contain first-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actual or reference worlds, and the lower indices representing worlds of evaluation—first and second dimensions, respectively. The tableaux modulate (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. added 2017-03-04
    A Modern Modal Argument for the Soul.Rafal Urbaniak & Agnieszka Rostalska - 2011 - In Michael Bruce & Steven Barbone (eds.), Just the Arguments: 100 of the Most Important Arguments in Western Philosophy. Wiley-Blackwell. pp. 93-99.
  33. added 2017-03-04
    Swinburne’s Modal Argument for the Existence of a Soul: Formalization and Criticism.Agnieszka Rostalska & Rafal Urbaniak - 2009 - Philo 12 (1):73-87.
    This paper evaluates Richard Swinburne’s modal argument for the existence of souls. After a brief presentation of the argument, wedescribe the main known objection to it, which is called the substitution objection, and explain Swinburne’s response to that objection. With this as background, we formalize Swinburne’s argument in a quantified propositional modal language, modifying it so that it is logically valid and contains no tacit assumptions, and we explain why we find Swinburne’s response to SO unsatisfactory. Next, we indicate that, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. added 2017-03-02
    Modal Logic and Contingentism: A Comment on Timothy Williamsons Modal Logic as Metaphysics.Louis deRosset - 2016 - Analysis 76 (2):155-172.
    Necessitists hold that, necessarily, everything is such that, necessarily, something is identical to it. Timothy Williamson has posed a number of challenges to contingentism, the negation of necessitism. One such challenge is an argument that necessitists can more wholeheartedly embrace possible worlds semantics than can contingentists. If this charge is correct, then necessitists, but not contingentists, can unproblematically exploit the technical successes of possible worlds semantics. I will argue, however, that the charge is incorrect: contingentists can embrace possible worlds semantics (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. added 2017-02-26
    First Order Modal Logic.Melvin Fitting & Richard Mendelsohn - 2001 - Studia Logica 68 (2):287-289.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  36. added 2017-02-26
    M. Fitting and RL Mendelsohn, First-Order Modal Logic.V. Shehtman - 2001 - Journal of Logic Language and Information 10 (3):403-405.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  37. added 2017-02-26
    First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Kluwer Academic Publishers.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   37 citations  
  38. added 2017-02-21
    Ontology of Sentential Moods.Berislav Žarnić - 2016 - In Myśli o języku, nauce i wartościach. Seria druga. Profesorowi Jackowi Juliuszowi Jadackiemu w siedemdziesiątą rocznicę urodzin. pp. 323-339.
    In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. added 2017-02-11
    Fast-Collapsing Theories.Samuel A. Alexander - 2013 - Studia Logica (1):1-21.
    Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  40. added 2017-02-10
    A Machine That Knows Its Own Code.Samuel A. Alexander - 2014 - Studia Logica 102 (3):567-576.
    We construct a machine that knows its own code, at the price of not knowing its own factivity.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. added 2017-02-01
    Quantified Logic for Knowledge Statements.Gail C. Stine - 1974 - Journal of Philosophy 71 (5):127-140.
  42. added 2017-01-30
    Quantified Modal Logic with Neighborhood Semantics.Geir Waagbø & G. Waagbø - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):491-499.
  43. added 2017-01-29
    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 logic. A crucial (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  44. added 2017-01-27
    Quantified Modal Logic on the Rational Line.Philip Kremer - 2014 - Review of Symbolic Logic 7 (3):439-454.
  45. added 2017-01-25
    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 interpolation property, (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  46. added 2017-01-24
    Quantified Modal Logic, Dynamic Semantics and S 5.Paul Gochet & Eric Gillet - 1999 - Dialectica 53 (3‐4):243-251.
  47. added 2017-01-24
    Quantified Modal Logic With Rigid Terms.Giovanna Corsi - 1988 - Mathematical Logic Quarterly 34 (3):251-259.
  48. added 2017-01-24
    Review: Anil Gupta, The Logic of Common Nouns. An Investigation in Quantified Modal Logic. [REVIEW]Frank Vlach - 1983 - Journal of Symbolic Logic 48 (2):500-501.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  49. added 2017-01-24
    Review: Kit Fine, Failures of the Interpolation Lemma in Quantified Modal Logic. [REVIEW]Saul A. Kripke - 1983 - Journal of Symbolic Logic 48 (2):486-488.
  50. added 2017-01-22
    Some Reflections on Quantified Epistemic Logic.Robert C. Coburn - 1972 - Canadian Journal of Philosophy 2 (2):233 - 247.
    In Knowledge and Belief Jaakko Hintikka presents a fairly detailed system of epistemic logic and tries to show its philosophical importance by bringing it to bear upon such problems as what goes wrong in saying “It’s raining, but I don’t believe it.” In setting up the system, Hintikka presents a way of symbolizing certain locutions containing expressions like ‘knows that’, ‘know who’, and ‘believes that’; he introduces certain notions which are analogous to the standard logical concepts consistency, validity, entailment, and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 142