Results for 'Modality (Logic'

1000+ found
Order:
  1. Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
    A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's (...)
    Direct download  
     
    Export citation  
     
    Bookmark   364 citations  
  2. Modal Logic as Metaphysics.Timothy Williamson - 2013 - 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 modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.
    Direct download  
     
    Export citation  
     
    Bookmark   276 citations  
  3.  20
    Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
    Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   108 citations  
  4. Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
    This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   251 citations  
  5. Modal Logic.Alexander Chagrov - 1997 - Oxford University Press.
    For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   80 citations  
  6.  52
    Modal Logic.Yde Venema - 2000 - Philosophical Review 109 (2):286-289.
    Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   63 citations  
  7. A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - Routledge.
    This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   188 citations  
  8.  43
    Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge University Press.
    Designed for use by philosophy students, this book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  9.  23
    An Introduction to Modal Logic.G. E. Hughes - 1968 - London: Methuen.
    Modal propositional logic; Modal predicate logic; A survey of modal logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   200 citations  
  10.  3
    Modal Logic for Open Minds -.Johan van Benthem - 2010 - Center for the Study of Language and Inf.
    In _Modal Logic for Open Minds,_ Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  11. 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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  12.  47
    Modal Logic and Classical Logic.J. F. A. K. van Benthem - 1983 - Distributed in the U.S.A. By Humanities Press.
  13. A New Introduction to Modal Logic.Paolo Crivelli, Timothy Williamson, G. E. Hughes & M. J. Cresswell - 1998 - Philosophical Review 107 (3):471.
    This volume succeeds the same authors' well-known An Introduction to Modal Logic and A Companion to Modal Logic. We designate the three books and their authors NIML, IML, CML and H&C respectively. Sadly, George Hughes died partway through the writing of NIML.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   121 citations  
  14.  48
    The Modal Logic of Bayesian Belief Revision.Zalán Gyenis, Miklós Rédei & William Brown - 2019 - Journal of Philosophical Logic 48 (5):809-824.
    In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the modal logics in the hierarchy to the strongest modal (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  32
    Modal Logic: The Lewis-Modal Systems.J. Jay Zeman - 1973 - London: Clarendon Press.
  16.  2
    Modal Logics and Philosophy.Rod Girle - 2000 - Mcgill-Queen's University Press.
    In Part 1 the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  17.  97
    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" readings of modal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  18. 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 work going on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  19.  24
    The Modal Logic of Agreement and Noncontingency.Lloyd Humberstone - 2002 - Notre Dame Journal of Formal Logic 43 (2):95-127.
    The formula A (it is noncontingent whether A) is true at a point in a Kripke model just in case all points accessible to that point agree on the truth-value of A. We can think of -based modal logic as a special case of what we call the general modal logic of agreement, interpreted with the aid of models supporting a ternary relation, S, say, with OA (which we write instead of A to emphasize the generalization involved) true (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  20.  27
    Modal Logics with Belnapian Truth Values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
    Various four- and three-valued modal propositional logics are studied. The basic systems are modal extensions BK and BS4 of Belnap and Dunn's four-valued logic of firstdegree entailment. Three-valued extensions of BK and BS4 are considered as well. These logics are introduced semantically by means of relational models with two distinct evaluation relations, one for verification and the other for falsification. Axiom systems are defined and shown to be sound and complete with respect to the relational semantics and with respect (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  21. Modal Logic for Philosophers.James W. Garson - 2010 - Cambridge University Press.
    This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dicto (...)
     
    Export citation  
     
    Bookmark   13 citations  
  22.  33
    Modal Logics Between Propositional and First Order.Melvin Fitting - unknown
    One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if terms are allowed to be non-rigid, a scoping mechanism (usually written using lambda abstraction) must also be introduced to avoid ambiguity. Since quantifiers are not present, this is not really a first-order logic, but it is not exactly propositional either. For propositional logics such as K, T and D, adding such (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  23. An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
  24. The Modal Logic of Inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.
    We consider some modal languages with a modal operator $D$ whose semantics is based on the relation of inequality. Basic logical properties such as definability, expressive power and completeness are studied. Also, some connections with a number of other recent proposals to extend the standard modal language are pointed at.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  25.  33
    Modal Logic Over Finite Structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
    We investigate properties of propositional modal logic over the classof finite structures. In particular, we show that certain knownpreservation theorems remain true over this class. We prove that aclass of finite models is defined by a first-order sentence and closedunder bisimulations if and only if it is definable by a modal formula.We also prove that a class of finite models defined by a modal formulais closed under extensions if and only if it is defined by a -modal formula.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  26. Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
    The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  27.  59
    Many-Dimensional Modal Logics: Theory and Applications.Dov M. Gabbay (ed.) - 2003 - Elsevier North Holland.
    Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. To study (...)
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  28.  32
    A Modal Logic of Supervenience.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (2):283-309.
    Inspired by the supervenience-determined consequence relation and the semantics of agreement operator, we introduce a modal logic of supervenience, which has a dyadic operator of supervenience as a sole modality. The semantics of supervenience modality very naturally correspond to the supervenience-determined consequence relation, in a quite similar way that the strict implication corresponds to the inference-determined consequence relation. We show that this new logic is more expressive than the modal logic of agreement, by proposing a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  14
    Tools and Techniques in Modal Logic.Marcus Kracht - 1999 - Elsevier.
    This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  30.  79
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  37
    Modal Logic: An Introduction to its Syntax and Semantics.Nino B. Cocchiarella & Max A. Freund - 2008 - Oxford University Press.
    In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  3
    The Modal Logic of Bayesian Belief Revision.William Brown, Zalán Gyenis & Miklós Rédei - 2019 - Journal of Philosophical Logic 48 (5):809-824.
    In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the modal logics in the hierarchy to the strongest modal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  94
    The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.
    The modal logic of Gödel sentences, termed as GS, is introduced to analyze the logical properties of 'true but unprovable' sentences in formal arithmetic. The logic GS is, in a sense, dual to Grzegorczyk's Logic, where modality can be interpreted as 'true and provable'. As we show, GS and Grzegorczyk's Logic are, in fact, mutually embeddable. We prove Kripke completeness and arithmetical completeness for GS. GS is also an extended system of the logic of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  76
    The Modal Logic of Set-Theoretic Potentialism and the Potentialist Maximality Principles.Joel David Hamkins & Øystein Linnebo - forthcoming - Review of Symbolic Logic:1-36.
  35.  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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  36.  86
    Handbook of Modal Logic.Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.) - 2006 - Elsevier.
    The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  37.  30
    Modal Logic Without Contraction in a Metatheory Without Contraction.Patrick Girard & Zach Weber - 2019 - Review of Symbolic Logic 12 (4):685-701.
    Standard reasoning about Kripke semantics for modal logic is almost always based on a background framework of classical logic. Can proofs for familiar definability theorems be carried out using a nonclassical substructural logic as the metatheory? This article presents a semantics for positive substructural modal logic and studies the connection between frame conditions and formulas, via definability theorems. The novelty is that all the proofs are carried out with a noncontractive logic in the background. This (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  12
    The Modal Logic of Potential Infinity: Branching Versus Convergent Possibilities.Ethan Brauer - forthcoming - Erkenntnis:1-19.
    Modal logic provides an elegant way to understand the notion of potential infinity. This raises the question of what the right modal logic is for reasoning about potential infinity. In this article I identify a choice point in determining the right modal logic: Can a potentially infinite collection ever be expanded in two mutually incompatible ways? If not, then the possible expansions are convergent; if so, then the possible expansions are branching. When possible expansions are convergent, the (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  39.  16
    Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic.Andrew Schumann - 2021 - Journal of Indian Philosophy 49 (3):467-498.
    There are two different modal logics: the logic T assuming contingency and the logic K = assuming logical determinism. In the paper, I show that the Aristotelian treatise On Interpretation has introduced some modal-logical relationships which correspond to T. In this logic, it is supposed that there are contingent events. The Nāgārjunian treatise Īśvara-kartṛtva-nirākṛtiḥ-viṣṇoḥ-ekakartṛtva-nirākaraṇa has introduced some modal-logical relationships which correspond to K =. In this logic, it is supposed that there is a logical determinism: each (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  40.  65
    Modal Logic: A Semantic Perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 BASIC MODAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  41.  4
    Philosophical Applications of Modal Logic.Lloyd Humberstone - 2016 - College Publications.
    This text aims to convey some of the interest and charm of modal logic, and to put a reader new to the subject in a position to have an informed opinion as to its applicability to each of several areas of philosophical concern in which the merits of a modal approach' have been controversial. he main focus, for these purposes, is on normal modal logics, though some attention is given to the non-normal side of the picture.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  42.  1
    Modal Logics and Philosophy.Rod Girle - 2000 - Routledge.
    The first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  43.  35
    Nearly Every Normal Modal Logic is Paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
    An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its negation are satisfied. Paraconsistent logics are negation-inconsistent yet non-overcomplete; paracomplete logics are (...)
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  44. 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 using non-normal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  45.  61
    Positive Modal Logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
    We give a set of postulates for the minimal normal modal logicK + without negation or any kind of implication. The connectives are simply , , , . The postulates (and theorems) are all deducibility statements . The only postulates that might not be obvious are.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  46.  39
    A Companion to Modal Logic.G. E. Hughes - 1984 - Methuen.
    Normal propositional modal systems This first chapter has two main aims. One is to give a general account of the propositional modal systems that we shall ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  47. Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
    In the paper (Braüner, 2001) we gave a minimal condition for the existence of a homophonic theory of truth for a modal or tense logic. In the present paper we generalise this result to arbitrary modal logics and we also show that a modal logic permits the existence of a homophonic theory of truth if and only if it permits the definition of a socalled master modality. Moreover, we explore a connection between the master modality and (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48.  5
    First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Kluwer Academic Publishers.
    This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   62 citations  
  49. The True Modal Logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
    This paper traces the course of Prior’s struggles with the concepts and phenomena of modality, and the reasoning that led him to his own rather peculiar modal logic Q. I find myself in almost complete agreement with Prior’s intuitions and the arguments that rest upon them. However, I argue that those intuitions do not of themselves lead to Q, but that one must also accept a certain picture of what it is for a proposition to be possible. That (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  50.  9
    Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
    Direct download  
     
    Export citation  
     
    Bookmark   98 citations  
1 — 50 / 1000