Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
    Download  
     
    Export citation  
     
    Bookmark   243 citations  
  • (2 other versions)Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
    Download  
     
    Export citation  
     
    Bookmark   447 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   165 citations  
  • General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
    Download  
     
    Export citation  
     
    Bookmark   639 citations  
  • Truth and meaning.Donald Davidson - 1967 - Synthese 17 (1):304-323.
    Download  
     
    Export citation  
     
    Bookmark   502 citations  
  • The Language of Thought.Jerry Fodor - 1975 - Harvard University Press.
    Download  
     
    Export citation  
     
    Bookmark   1679 citations  
  • The Language of Thought.J. A. Fodor - 1978 - Critica 10 (28):140-143.
    Download  
     
    Export citation  
     
    Bookmark   1463 citations  
  • Meredith, Prior, and the History of Possible Worlds Semantics.B. Jack Copeland - 2006 - Synthese 150 (3):373-397.
    This paper charts some early history of the possible worlds semantics for modal logic, starting with the pioneering work of Prior and Meredith. The contributions of Geach, Hintikka, Kanger, Kripke, Montague, and Smiley are also discussed.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: 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.
    Download  
     
    Export citation  
     
    Bookmark   430 citations  
  • On a family of paradoxes.Arthur Prior - 1960 - Notre Dame Journal of Formal Logic 2 (1):16-32.
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • Interpreting quantification.Ruth Barcan Marcus - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):252 – 259.
    Alternative readings of quantification are considered. The absence of an unequivocal translation into ordinary speech is noted. Some examples are cited which, in the opinion of the author, are a result of equivocal readings of quantification, or unnecessarily restrictive readings which obscure its primary function.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • On McKinsey's syntatical characterizations of systems of modal logic.F. R. Drake - 1962 - Journal of Symbolic Logic 27 (4):400-406.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • What is a semantics for classical negation?B. J. Copeland - 1986 - Mind 95 (380):478-490.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (4 other versions)Truth and Meaning. Essays in Semantics.G. Evans & J. Mcdowell - 1976 - Revue Philosophique de la France Et de l'Etranger 166 (4):435-437.
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Prior on the semantics of modal and tense logic.M. J. Cresswell - 2016 - Synthese 193 (11).
    In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death. The focus of this paper is a little different. It looks at what Prior himself thought he was accomplishing. In particular it considers Prior’s attitude to the semantic metatheory of the logics that he was interested in. The paper sets out some characteristics of the metalogical study of intensional languages in terms of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A note on the Barcan formula and substitutional quantification.B. J. Copeland - 1982 - Logique Et Analyse 25 (97):83.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • TARSKI, ALFRED - Logic, Semantics and Metamathematics. [REVIEW]A. N. Prior - 1957 - Mind 66:401.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Possible worlds.A. N. Prior - 1962 - Philosophical Quarterly 12 (46):36-43.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
    This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • The Syntax of Time-Distinctions.A. N. Prior - 1958 - Franciscan Studies 18 (2):105-120.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A functional calculus of first order based on strict implication.Ruth Barcan Marcus - 1946 - [n. p.,: [N. P..
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)Tense-logic and the continuity of time.A. N. Prior - 1962 - Studia Logica 13 (1):133 - 151.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • On when a semantics is not a semantics: Some reasons for disliking the Routley-Meyer semantics for relevance logic.B. J. Copeland - 1979 - Journal of Philosophical Logic 8 (1):399-413.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Substitutional Quantification and Existence.B. J. Copeland - 1985 - Analysis 45 (1):1 - 4.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On McKinsey's Syntactical Characterizations of Systems of Modal Logic.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (4):691-692.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (2 other versions)Time and Modality.A. N. PRIOR - 1957 - Zeitschrift für Philosophische Forschung 13 (3):477-479.
    Download  
     
    Export citation  
     
    Bookmark   112 citations