Results for 'quantified modal logic'

1000+ found
Order:
  1. 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)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.
    Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  4. Modal Science.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):453-492.
    This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal (...)
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  5.  52
    Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Modal-Epistemic Arithmetic and the Problem of Quantifying In.Jan Heylen - 2013 - Synthese 190 (1):89-111.
    The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. A Modal Account of Essence.Michael De - 2020 - Metaphysics 3 (1):17-32.
    According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Modal Fragmentalism.Samuele Iaquinto - 2020 - The Philosophical Quarterly 70 (280):570-587.
    In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Vagueness & Modality—An Ecumenical Approach.Jon Erling Litland & Juhani Yli-Vakkuri - 2016 - Philosophical Perspectives 30 (1):229-269.
    How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  67
    On the Logics with Propositional Quantifiers Extending S5Π.Yifeng Ding - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pp. 219-235.
    Scroggs's theorem on the extensions of S5 is an early landmark in the modern mathematical studies of modal logics. From it, we know that the lattice of normal extensions of S5 is isomorphic to the inverse order of the natural numbers with infinity and that all extensions of S5 are in fact normal. In this paper, we consider extending Scroggs's theorem to modal logics with propositional quantifiers governed by the axioms and rules analogous to the usual ones for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - forthcoming - Review of Symbolic Logic.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Quantificational Logic and Empty Names.Andrew Bacon - 2013 - Philosophers' Imprint 13.
    The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  13. Existential Quantifier, Logic and the Christian Trinitarian Monotheism: An Investigation of a Relationship Between Formal Sciences and Philosophy of Religion.Paulo Júnio de Oliveira - 2017 - Revista Brasileira de Filosofia da Religião 4 (2):134-151.
    This article discusses a relation between the formal science of logical semantics and some monotheistic, polytheistic and Trinitarian Christian notions. This relation appears in the use of the existential quantifier and of logical-modal notions when some monotheistic and polytheistic concepts and, principally, the concept of Trinity Dogma are analyzed. Thus, some presupposed modal notions will appear in some monotheistic propositions, such as the notion of “logically necessary”. From this, it will be shown how the term “God” is a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
    I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  15. Logicism, Possibilism, and the Logic of Kantian Actualism.Andrew Stephenson - 2017 - Critique.
    In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate. In §2 I outline some background. In §§3-4 I present and then elaborate on Stang’s interpretation of Kant’s view that existence is not a real predicate. For Stang, the question of whether existence is a real predicate amounts to the question: (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  16. Modal Structuralism Simplified.Sharon Berry - 2018 - Canadian Journal of Philosophy 48 (2):200-222.
    Since Benacerraf’s ‘What Numbers Could Not Be, ’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, I (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  41
    A Formal-Logical Approach to the Concept of God.Ricardo Silvestre - forthcoming - Manuscrito. Revista Internacional de Filosofia.
    In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Binding Bound Variables in Epistemic Contexts.Brian Rabern - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):533-563.
    ABSTRACT 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 for epistemic modality. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  19. Abstract Universes and Quantifying In.Donald E. Stahl - 1986 - Philosophia 16 (3-4):333-344.
    Philosophia (Israel), 16(3-4), 333 - 344. YEAR: 1986 Extensive corrigenda Vol. 17, no. 3. -/- SUBJECT(S): Quine's second thoughts on quantifying in, appearing in the second, revised edition of _From a Logical Point of View_ of 1961, are shown to be incorrect. His original thoughts were correct. ABSTRACT: Additional tumult is supplied to pp. 152-154 of _From A Logical Point of View_, showing that being dated is no guarantee of being right. Among other things, it is shown that Quine's argument (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Logic: The Stoics (Part One).Susanne Bobzien - 1999 - In Keimpe Algra & et al (eds.), The Cambridge History of Hellenistic Philosophy. Cambridge University Press.
    ABSTRACT: A detailed presentation of Stoic logic, part one, including their theories of propositions (or assertibles, Greek: axiomata), demonstratives, temporal truth, simple propositions, non-simple propositions(conjunction, disjunction, conditional), quantified propositions, logical truths, modal logic, and general theory of arguments (including definition, validity, soundness, classification of invalid arguments).
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  21. Stoic Logic.Susanne Bobzien - 2003 - In Brad Inwood (ed.), The Cambridge Companion to Stoic Philosophy. Cambridge University Press.
    ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  22. Quine's Interpretation Problem and the Early Development of Possible Worlds Semantics.Sten Lindström - 2001 - In Ondrey Majer (ed.), The Logica Yearbook 2000. Filosofia.
    In this paper, I shall consider the challenge that Quine posed in 1947 to the advocates of quantified modal logic to provide an explanation, or interpretation, of modal notions that is intuitively clear, allows “quantifying in”, and does not presuppose, mysterious, intensional entities. The modal concepts that Quine and his contemporaries, e.g. Carnap and Ruth Barcan Marcus, were primarily concerned with in the 1940’s were the notions of (broadly) logical, or analytical, necessity and possibility, rather (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  23. The Ontological Commitments of Logical Theories.Manuel García-Carpintero & M. Pérez Otero - 1999 - European Review of Philosophy 4:157-182.
    This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  12
    Rigidity and Modal Asymmetry: The Intuitive Kripkean Argument Revisited.Michael Oliva Córdoba - 2002 - In Ansgar Beckermann & Christian Nimtz (eds.), Argument & Analyse. mentis. pp. 306-320.
    Much of what has been discussed in the theory of reference in the last twenty-five years is strongly influenced by considerations centring on the business of devising a semantics for quantified modal logic. In this context, discussion of the property of rigidity plays an important role. This property is conceived of as a semantic modal property that distinguishes proper names from descriptions. It is argued that there is a semantic modal asym- metry between expressions of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Impossible Worlds and the Logic of Imagination.Francesco Berto - 2017 - Erkenntnis 82 (6):1277-1297.
    I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  26. On the Logic of the Ontological Argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
    In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  27. Certain Verbs Are Syntactically Explicit Quantifiers.Anna Szabolcsi - 2011 - The Baltic International Yearbook of Cognition, Logic and Communication 6:5.
    Quantification over individuals, times, and worlds can in principle be made explicit in the syntax of the object language, or left to the semantics and spelled out in the meta-language. The traditional view is that quantification over individuals is syntactically explicit, whereas quantification over times and worlds is not. But a growing body of literature proposes a uniform treatment. This paper examines the scopal interaction of aspectual raising verbs (begin), modals (can), and intensional raising verbs (threaten) with quantificational subjects in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  29. Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  30. Modal Logic and Philosophy.Sten Lindström & Krister Segerberg - 2007 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Amsterdam, the Netherlands: Elsevier. pp. 1149-1214.
    Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  31. I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.
    Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  32. Reply to Stalnaker.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):727-734.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  80
    Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.
    We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  34.  77
    Modal Logic. An Introduction.Zia Movahed - 2002 - Tehran: Hermes Publishers.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   82 citations  
  35.  71
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. First-Order Modal Logic in the Necessary Framework of Objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
    I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  37. The Problem of Cross-World Predication.Alexander Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.
    While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 39-51.
    We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Chrysippus' Modal Logic and Its Relation to Philo and Diodorus.Susanne Bobzien - 1993 - In K. Doering & Th Ebert (eds.), Dialektiker und Stoiker. Franz Steiner. pp. 63--84.
    ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and (...) theorems, and to make clear the exact relations between them; moreover, to elucidate the philosophical reasons that may have led Chrysippus to modify his predessors’ modal concept in the way he did. It becomes apparent that Chrysippus skillfully combined Philo’s and Diodorus’ modal notions, with making only a minimal change to Diodorus’ concept of possibility; and that he thus obtained a modal system of modalities (logical and physical) which fit perfectly fit into Stoic philosophy. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Modal Logics for Topological Spaces.Konstantinos Georgatos - 1993 - Dissertation, City University of New York
    In this thesis we present two logical systems, $\bf MP$ and $\MP$, for the purpose of reasoning about knowledge and effort. These logical systems will be interpreted in a spatial context and therefore, the abstract concepts of knowledge and effort will be defined by concrete mathematical concepts.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  41. Refutation Systems in Modal Logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  42. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  92
    The Modal Logic of the Countable Random Frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
    We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that (...) and show that it has the finite frame property and its satisfiability problem is in EXPTIME. All these results easily extend to temporal and other multi-modal logics. Finally, we show that there are modal formulas which are almost surely valid in the finite, yet fail in the countable random frame, and hence do not follow from the extension axioms. Therefore the analog of Fagin's transfer theorem for almost sure validity in first-order logic fails for modal logic. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.
    In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities: Polynomial Ring Calculus for Modal Logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
    A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  47. Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
    Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  84
    Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  49. Proofnets for S5: Sequents and Circuits for Modal Logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005. Cambridge: Cambridge University Press. pp. 151-172.
    In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the (...) vocabulary—is directly motivated in terms of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  50. Swap Structures Semantics for Ivlev-Like Modal Logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000