Switch to: Citations

References in:

First-Order Modal Logic

Dordrecht, Netherland: Kluwer Academic Publishers (1998)

Add references

You must login to add references.
  1. Handbook of Tableau Methods.Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle & Joachim Posegga (eds.) - 1999 - Dordrecht, Netherland: Springer.
    Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (6 other versions)A Treatise of Human Nature (1739-40).David Hume - 1739 - Mineola, N.Y.: Oxford University Press. Edited by Ernest Campbell Mossner.
    A key to modern studies of 18th century Western philosophy, the Treatise considers numerous classic philosophical issues, including causation, existence, freedom and necessity and morality. This abridged edition has an introduction which explain's Hume's thought and places it in the context of its times.
    Download  
     
    Export citation  
     
    Bookmark   540 citations  
  • (2 other versions)Speaker’s Reference and Semantic Reference.Saul A. Kripke - 1977 - Midwest Studies in Philosophy 2 (1):255-276.
    am going to discuss some issues inspired by a well-known paper ofKeith Donnellan, "Reference and Definite Descriptions,”2 but the interest—to me—of the contrast mentioned in my title goes beyond Donnellan's paper: I think it is of considerable constructive as well as critical importance to the philosophy oflanguage. These applications, however, and even everything I might want to say relative to Donnellan’s paper, cannot be discussed in full here because of problems of length. Moreover, although I have a considerable interest in (...)
    Download  
     
    Export citation  
     
    Bookmark   410 citations  
  • (4 other versions)Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
    Download  
     
    Export citation  
     
    Bookmark   2750 citations  
  • (2 other versions)The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.
    Download  
     
    Export citation  
     
    Bookmark   821 citations  
  • (2 other versions)Notes on Existence and Necessity.Willard V. Quine - 1956 - Journal of Symbolic Logic 21 (1):77-78.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • (3 other versions)Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
    Download  
     
    Export citation  
     
    Bookmark   1918 citations  
  • (2 other versions)Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
    Download  
     
    Export citation  
     
    Bookmark   390 citations  
  • (1 other version)Systematically misleading expressions.G. Ryle - 1932 - Proceedings of the Aristotelian Society 32:139.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
    This is identical with the first edition (see 21: 2716) except for the addition of a Supplement containing 5 previously published articles and the bringing of the bibliography (now 73 items) up to date. The 5 added articles present clarifications or modifications of views expressed in the first edition. (PsycINFO Database Record (c) 2009 APA, all rights reserved).
    Download  
     
    Export citation  
     
    Bookmark   335 citations  
  • Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • Abstraction in First-Order Modal Logic.Robert C. Stalnaker & Richmond H. Thomason - 1968 - Theoria 34 (3):203-207.
    The first amounts, roughly, to "It is necessarily the case that any President of the U.S. is a citizen of the U.S." But the second says, "the person who in fact is the President of the U.S, has the property of necessarily being a citizen of the U.S," Thus, while (2) is clearly true, it would be reasonable to consider (3) false.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • (2 other versions)Immanuel Kant's Critique of pure reason.Immanuel Kant - 1896 - London: Macmillan. Edited by Norman Kemp Smith.
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • (1 other version)Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi.Saul A. Kripke - 1965 - In J. W. Addison (ed.), The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 206-20.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • (2 other versions)Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
    Download  
     
    Export citation  
     
    Bookmark   445 citations  
  • First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
    This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...
    Download  
     
    Export citation  
     
    Bookmark   209 citations  
  • Nonexistent Objects.Terence Parsons - 1980 - Yale University Press.
    In this book Terence Parsons revives the older tradition of taking such objects at face value. Using various modern techniques from logic and the philosophy of language, he formulates a metaphysical theory of nonexistent objects. The theory is given a formalization in symbolism rich enough to contain definite descriptions, modal operators, and epistemic contexts, and the book includes a discussion which relates the formalized theory explicitly to English.
    Download  
     
    Export citation  
     
    Bookmark   300 citations  
  • (5 other versions)Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.
    Download  
     
    Export citation  
     
    Bookmark   759 citations  
  • A general interpreted modal calculus.Aldo Bressan - 1972 - New Haven,: Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • (1 other version)Stoic logic.Benson Mates - 1961 - Berkeley,: University of California Press.
    This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1973.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • (1 other version)On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
    By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...)
    Download  
     
    Export citation  
     
    Bookmark   1260 citations  
  • (2 other versions)Notes on existence and necessity.Willard V. Quine - 1943 - Journal of Philosophy 40 (5):113-127.
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • Counterpart theory and quantified modal logic.David Lewis - 1968 - Journal of Philosophy 65 (5):113-126.
    Download  
     
    Export citation  
     
    Bookmark   519 citations  
  • (1 other version)A puzzle about belief.Saul A. Kripke - 1979 - In A. Margalit (ed.), Meaning and Use. Reidel. pp. 239--83.
    Download  
     
    Export citation  
     
    Bookmark   557 citations  
  • An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.
    Modal propositional logic; Modal predicate logic; A survey of modal logic.
    Download  
     
    Export citation  
     
    Bookmark   112 citations  
  • A Companion to Modal Logic.G. E. Hughes & M. J. Cresswell - 1995 - Studia Logica 54 (3):411-413.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • (1 other version)Realism and the Background of Phenomenology.R. M. Chisholm - 1963 - British Journal for the Philosophy of Science 14 (55):263-264.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • (2 other versions)A Treatise of Human Nature.David Hume & A. D. Lindsay - 1958 - Philosophical Quarterly 8 (33):379-380.
    Download  
     
    Export citation  
     
    Bookmark   2034 citations  
  • A System of Modal Logic.Jan Łukasiewicz - 1953 - Proceedings of the XIth International Congress of Philosophy 14:82-87.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • (1 other version)The Development of Logic.William Calvert Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.
    This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.
    Download  
     
    Export citation  
     
    Bookmark   296 citations  
  • (1 other version)A Modal Logic Analog of Smullyan's Fundamental Theorem.Melvin Fitting - 1973 - Mathematical Logic Quarterly 19 (1):1-16.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Modality and Quantification.Jaakko Hintikka - 1961 - Theoria 27 (3):119-128.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • (1 other version)Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
    Download  
     
    Export citation  
     
    Bookmark   269 citations  
  • Negative existentials.Richard L. Cartwright - 1960 - Journal of Philosophy 57 (20/21):629-639.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (3 other versions)Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
    Download  
     
    Export citation  
     
    Bookmark   226 citations  
  • 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 technical equipment. Chellas here offers an (...)
    Download  
     
    Export citation  
     
    Bookmark   436 citations  
  • A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
    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. The book takes (...)
    Download  
     
    Export citation  
     
    Bookmark   245 citations  
  • A Structuralist Theory of Logic.Arnold Koslow - 1992 - New York: Cambridge University Press.
    In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.
    Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...)
    Download  
     
    Export citation  
     
    Bookmark   327 citations  
  • (5 other versions)Philosophical Explanations.Robert Nozick - 1981 - Mind 93 (371):450-455.
    Download  
     
    Export citation  
     
    Bookmark   878 citations  
  • A Survey of Symbolic Logic.C. I. Lewis - 1918 - Journal of Philosophy, Psychology and Scientific Methods 17 (3):78-79.
    Download  
     
    Export citation  
     
    Bookmark   137 citations  
  • Tableau methods of proof for modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (2):237-247.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.
    The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism.
    Download  
     
    Export citation  
     
    Bookmark   164 citations  
  • (1 other version)Meaning and Necessity: A Study in Semantics and Modal Logic.RUDOLF CARNAP - 1949 - Mind 58 (230):228-238.
    Download  
     
    Export citation  
     
    Bookmark   180 citations  
  • A Structuralist Theory of Logic.Arnold Koslow - 1995 - Studia Logica 54 (2):256-258.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • (1 other version)Modalities.Ruth Barcan Marcus - 1996 - Philosophy and Phenomenological Research 56 (4):978-979.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Necessity, Cause and Blame: Perspectives on Aristotle's Theory.Richard Sorabji - 1981 - Philosophy 56 (218):584-585.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • (1 other version)Formal Logic.Arthur N. Prior & Norman Prior - 1955 - Oxford,: Oxford University Press.
    This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • (1 other version)A Modal Logic Analog of Smullyan's Fundamental Theorem.Melvin Fitting - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (1):1-16.
    Download  
     
    Export citation  
     
    Bookmark   2 citations