Results for 'Modality (Logic)'

951 found
Order:
  1.  73
    Russell and MacColl: Reply to Grattan-guinness, wolen ski, and read.Modal Logic - 2001 - Nordic Journal of Philosophical Logic 6 (1):21-42.
  2. Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: 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   455 citations  
  3.  55
    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   18 citations  
  4.  45
    Irreflexive modality in the intuitionistic propositional logic and Novikov completeness.A. D. Yashin - 1999 - Journal of Philosophical Logic 28 (2):175-197.
    A. Kuznetsov considered a logic which extended intuitionistic propositional logic by adding a notion of 'irreflexive modality'. We describe an extension of Kuznetsov's logic having the following properties: (a) it is the unique maximal conservative (over intuitionistic propositional logic) extension of Kuznetsov's logic; (b) it determines a new unary logical connective w.r.t. Novikov's approach, i.e., there is no explicit expression within the system for the additional connective; (c) it is axiomatizable by means of one (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  59
    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   16 citations  
  6.  35
    Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: 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   21 citations  
  7. Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
    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 (2 more)  
     
    Export citation  
     
    Bookmark   88 citations  
  8.  55
    Modal logic: an introduction to its syntax and semantics.Nino Barnabas Cocchiarella & Max A. Freund - 2008 - New York: Oxford University Press. Edited by Max A. Freund.
    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 (3 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  9.  26
    The Modal Logic of Cluster-Decomposable Kripke Interpretations.Michael Tiomkin & Michael Kaminski - 2007 - Notre Dame Journal of Formal Logic 48 (4):511-520.
    We deal with the modal logic of cluster-decomposable Kripke interpretations, present an axiomatization, and prove some additional results regarding this logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  5
    (1 other version)Modal Logic.Johan van Benthem - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 389–409.
    This chapter contains sections titled: Enriching Extensional Logic with Intensional Notions Changing Views of Modal Logic A Précis of Basic Modal Logic The Major Applications Fine‐Structure of Expressive Power System Combination: Action and Information Back to the Heartland Conclusion.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  11. 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   3 citations  
  12.  24
    Medieval modal logic & science: Augustine on necessary truth & Thomas on its impossibility without a first cause.Robert C. Trundle - 1999 - Lanham, MD: University Press of America.
    Medieval Modal Logic & Science uses modal reasoning in a new way to fortify the relationships between science, ethics, and politics. Robert C. Trundle accomplishes this by analyzing the role of modal logic in the work of St. Augustine and St. Thomas Aquinas, then applying these themes to contemporary issues. He incorporates Augustine's ideas involving thought and consciousness, and Aquinas's reasoning to a First Cause. The author also deals with Augustine's ties to Aristotelian modalities of thought regarding science (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  61
    A modal logic for non-deterministic discourse processing.Tim Fernando - 1999 - Journal of Logic, Language and Information 8 (4):445-468.
    A modal logic for translating a sequence of English sentences to a sequence of logical forms is presented, characterized by Kripke models with points formed from input/output sequences, and valuations determined by entailment relations. Previous approaches based (to one degree or another) on Quantified Dynamic Logic are embeddable within it. Applications to presupposition and ambiguity are described, and decision procedures and axiomatizations supplied.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  12
    Modal Logic.M. J. Cresswell - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 136–158.
    Modal logic is the logic of necessity and possibility, of ‘must be’ and ‘may be’. These may be interpreted in various ways. If necessity is necessary truth, there is alethic modal logic; if it is moral or normative necessity, there is deontic logic [see chapter 8]. It may refer to what is known or believed to be true, in which case, there is an epistemic logic [chapter 9], or to what always has been or to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  15
    Alethic Modal Logics and Semantics.Gerhard Schurz - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 442–477.
    This chapter contains sections titled: Introduction Modal propositional Logics (MPLs) Modal Quantificational Logics(QMLs).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. 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 (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  17.  17
    Logic and modality: reply to Frank Sautter.O. Chateaubriand - 2004 - Manuscrito 27 (1):105-114.
    In §1 I examine the connections between my account of logical properties and Tarski’s account of logical notions. In §2 I briefly present some of my views on modality and the basis for my claim that there are intensional as well as extensional relations between properties. In §3 I compare my views on the nature of logic and of mathematics with Gödel’s views.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. 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   10 citations  
  19.  63
    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 anonclassical substructural logicas 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 anoncontractive logicin the background. This sheds light on which modal principles (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20. 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  
  21. (1 other version)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 (10 more)  
     
    Export citation  
     
    Bookmark   177 citations  
  22. 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   37 citations  
  23. Modal Logics A Summary of the Well-Behaved.Melvin Fitting - unknown
    Modal logic is an enormous subject, and so any discussion of it must limit itself according to some set of principles. Modal logic is of interest to mathematicians, philosophers, linguists and computer scientists, for somewhat different reasons. Typically a philosopher may be interested in capturing some aspect of necessary truth, while a mathematician may be interested in characterizing a class of models having special structural features. For a computer scientist there is another criterion that is not as relevant (...)
     
    Export citation  
     
    Bookmark  
  24.  25
    Stable Modal Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.
    Stable logics are modal logics characterized by a class of frames closed under relation preserving images. These logics admit all filtrations. Since many basic modal systems such as K4 and S4 are not stable, we introduce the more general concept of an M-stable logic, where M is an arbitrary normal modal logic that admits some filtration. Of course, M can be chosen to be K4 or S4. We give several characterizations of M-stable logics. We prove that there are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  39
    Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Fariñas Del Cerro Luis & Marques Peron Newton - 2020 - Logic Journal of the IGPL 28 (3):281-315.
    Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices, in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the axiom was replaced by the deontic axiom. In this paper, we propose even weaker systems, by eliminating (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  64
    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   33 citations  
  27.  10
    Olivier Gasquet and Andreas Herzig.From Classical to Normal Modal Logics - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  57
    Modal logic: the Lewis-modal systems.Joseph Jay Zeman - 1973 - London,: Clarendon Press.
  29. Modal logic as metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.
    The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30. Modal logic and classical logic.Johan van Benthem - 1983 - Atlantic Highlands, N.J.: Distributed in the U.S.A. by Humanities Press.
  31.  93
    Modal logics of succession for 2-dimensional integral spacetime.John F. Phillips - 2001 - Journal of Philosophical Logic 30 (1):1-25.
    We consider the problem of axiomatizing various natural "successor" logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the "standard" modal language (i.e. the language containing □ and ◊) is not finitely axiomatizable.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  33
    Email: Tmuel 1 er@ F dm. uni-f reiburg. De.Branching Space-Time & Modal Logic - 2002 - In Tomasz Placek & Jeremy Butterfield (eds.), Non-locality and Modality. Dordrecht and Boston: Kluwer Academic Publishers. pp. 273.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Supervaluationism, Modal Logic, and Weakly Classical Logic.Joshua Schechter - 2024 - Journal of Philosophical Logic 53 (2):411-61.
    A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  95
    Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
    We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq or LEGO.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. On modal logics between {$\roman K\times\roman K\times \roman K$} and {${\rm S}5\times{\rm S}5\times{\rm S}5$}.Robin Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.
    We prove that everyn-modal logic betweenKnandS5nis undecidable, whenever n ≥ 3. We also show that each of these logics is non-finitely axiomatizable, lacks the product finite model property, and there is no algorithm deciding whether a finite frame validates the logic. These results answer several questions of Gabbay and Shehtman. The proofs combine the modal logic technique of Yankov–Fine frame formulas with algebraic logic results of Halmos, Johnson and Monk, and give a reduction of the representation (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36.  38
    Partial Logic as a Logic of Extensional Alethic Modality.Daisuke Kachi - 2007 - Journal of the Japan Association for Philosophy of Science 34 (2):61-70.
    In my paper 'Validity in Simple Partial Logic'(2002) I made comparison between several definitions of validity in Simple Partial Logic(SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof system and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  25
    Fractional-Valued Modal Logic.Mario Piazza, Gabriele Pulcini & Matteo Tesi - 2023 - Review of Symbolic Logic 16 (4):1033-1052.
    This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the closed interval $[0,1]$. Focusing on the modal logic K, the proposed methodology relies on three key components: bilateral sequent calculus, invertibility of the logical rules, and stability (proof-invariance). We show that our semantic analysis of K affords an informational refinement with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  74
    Implication, Modality and Intension in Symbolic Logic.Leo Abraham - 1933 - The Monist 43 (1):119-153.
  39.  45
    (1 other version)Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
    The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting formulas are presented. A completeness theorem is proved, and the relation between this result and completeness with respect to Kripke models is investigated.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  40.  53
    Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
    Some results on the upper end of the lattice of all modal propositional logics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  41.  65
    Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
    In this two-part paper we present paranormal modal logic: a modal logic which is both paraconsistent and paracomplete. Besides using a general framework in which a wide range of logics – including normal modal logics, paranormal modal logics and classical logic – can be defined and proving some key theorems about paranormal modal logic (including that it is inferentially equivalent to classical normal modal logic), we also provide a philosophical justification for the view that paranormal (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  19
    Modal Logic: An Introduction to its Syntax and Semantics.Nino B. Cocchiarella & Max A. Freund - 2008 - Oxford and New York: Oxford University Press USA. Edited by Max A. Freund.
    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. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills. A separate (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  95
    General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
    General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  44.  42
    A Modal Logic of Indiscernibility.Décio Krause, Pedro Merlussi & Jonas R. Becker Arenhart - 2016 - In Aerts Diederik Et A. L. (ed.), Probing the Meaning of Quantum Mechanics: Superpositions, Dynamics, Semantics and Identity. World Scientific. pp. 259-279.
    This paper is a continuation of the authors' attempts to deal with the notion of indistinguishability (or indiscernibility) from a logical point of view. Now we introduce a two-sorted first-order modal logic to enable us to deal with objects of two different species. The intended interpretation is that objects of one of the species obey the rules of standard S5, while the objects of the other species obey only the rules of a weaker notion of indiscernibility. Quantum mechanics motivates (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  35
    (1 other version)The modal logics of kripke–feferman truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.
    We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathcal {M}$, or an axiomatization S thereof, we find a modal logic M such that a modal sentence $\varphi $ is a theorem of M if and only if the sentence $\varphi ^*$ obtained by translating the modal operator with the truth predicate is true in $\mathcal {M}$ or a theorem of S under all (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  81
    Remarks on the modal logic of Henry Bradford Smith.Mary C. MacLeod & Peter K. Schotch - 2000 - Journal of Philosophical Logic 29 (6):603-615.
    H. B. Smith, Professor of Philosophy at the influential 'Pennsylvania School' was (roughly) a contemporary of C. I. Lewis who was similarly interested in a proper account of 'implication'. His research also led him into the study of modal logic but in a different direction than Lewis was led. His account of modal logic does not lend itself as readily as Lewis' to the received 'possible worlds' semantics, so that the Smith approach was a casualty rather than a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  47.  13
    Logic, Modality, and Metaphysics in Early Analytic Philosophy.Ci Lewis Against Russell - 2012 - In Leila Haaparanta & Heikki J. Koskinen (eds.), Categories of Being: Essays on Metaphysics and Logic. Oxford, England: OUP USA.
  48.  44
    Modal logic and its applications.Donald Paul Snyder - 1971 - New York,: Van Nostrand Reinhold.
  49.  62
    Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
    Many powerful logics exist today for reasoning about multi-agent systems, but in most of these it is hard to reason about an infinite or indeterminate number of agents. Also the naming schemes used in the logics often lack expressiveness to name agents in an intuitive way.To obtain a more expressive language for multi-agent reasoning and a better naming scheme for agents, we introduce a family of logics called term-modal logics. A main feature of our logics is the use of modal (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  50.  55
    First steps in modal logic.Sally Popkorn - 1994 - New York: Cambridge University Press.
    This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
1 — 50 / 951