- Provability in Logic.F. H. Fischer - 1957 - Journal of Symbolic Logic 23 (1):37-38.details
|
|
How meaningful are modal operators?David Makinson - 1966 - Australasian Journal of Philosophy 44 (3):331 – 337.details
|
|
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.details
|
|
On the primary and secondary semantics of logical necessity.Nino Cocchiarella - 1975 - Journal of Philosophical Logic 4 (1):13 - 27.details
|
|
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.details
|
|
Modalities and quantification.Rudolf Carnap - 1946 - Journal of Symbolic Logic 11 (2):33-64.details
|
|
Modalities and Quantification.Rudolf Carnap - 1946 - Journal of Symbolic Logic 13 (4):218-219.details
|
|
A functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.details
|
|
A Functional Calculus of First Order Based on Strict Implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (3):96-97.details
|
|
On Some Completeness Theorems in Modal Logic.Lennart Aqvist & D. Makinson - 1970 - Journal of Symbolic Logic 35 (1):135.details
|
|
Naming without necessity.Joseph Almog - 1986 - Journal of Philosophy 83 (4):210-242.details
|
|
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.details
|
|
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.details
|
|
From a Logical Point of View.Willard Van Orman Quine - 1953 - Cambridge: Harvard University Press.details
|
|
Provability in logic.Stig Kanger - 1957 - Stockholm,: Almqvist & Wiksell.details
|
|
Boolean Algebras with Operators.Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (1):70-71.details
|
|
A new representation of $S5$.Steven K. Thomason - 1973 - Notre Dame Journal of Formal Logic 14 (2):281-284.details
|
|
The Problem of Interpreting Modal Logic.Arthur Francis Smullyan & W. V. Quine - 1947 - Journal of Symbolic Logic 12 (4):139.details
|
|
The problem of interpreting modal logic.W. V. Quine - 1947 - Journal of Symbolic Logic 12 (2):43-48.details
|
|
Three Grades of Modal Involvement.W. V. Quine - 1953 - Proceedings of the XIth International Congress of Philosophy 14:65-81.details
|
|
Two Dogmas of Empiricism.John G. Kemeny - 1951 - Journal of Symbolic Logic 17 (4):281-283.details
|
|
Two Dogmas of Empiricism.W. V. O. Quine - 1951 - In Robert B. Talisse & Scott F. Aikin (eds.), The Pragmatism Reader: From Peirce Through the Present. Princeton University Press. pp. 202-220.details
|
|
Two Dogmas of Empiricism.Willard V. O. Quine - 1951 - Philosophical Review 60 (1):20–43.details
|
|
Philosophy of logic.Willard Van Orman Quine - 1970 - Cambridge, Mass.: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.details
|
|
Carnap and logical truth.Willard van Orman Quine - 1954 - Synthese 12 (4):350--74.details
|
|
Modality and quantification in S5.A. N. Prior - 1956 - Journal of Symbolic Logic 21 (1):60-62.details
|
|
Logical Necessity, Physical Necessity, Ethics, and Quantifiers.Richard Montague - 1967 - Journal of Symbolic Logic 32 (3):400-401.details
|
|
Logical necessity, physical necessity, ethics, and quantifiers.Richard Montague - 1960 - Inquiry: An Interdisciplinary Journal of Philosophy 3 (1-4):259 – 269.details
|
|
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.details
|
|
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.details
|
|
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.details
|
|
The Undecidability of Monadic Modal Quantification Theory.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.details
|
|
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.details
|
|
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.details
|
|
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 31 (2):276-277.details
|
|
Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.details
|
|
The fallacies of the new theory of reference.Jaakko Hintikka & Gabriel Sandu - 1995 - Synthese 104 (2):245 - 283.details
|
|
Modality and Quantification.Jaakko Hintikka - 1961 - Theoria 27 (3):119-128.details
|
|
Modality and Quantifications.Jaakko Hintikka - 1966 - Journal of Symbolic Logic 31 (1):122-123.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Proceedings of the XIth International Congress of Philosophy.W. V. O. Quine - 1953 - North-Holland Publishing Co..details
|
|
Opacity.David Kaplan - 1986 - In Lewis Edwin Hahn & Paul Arthur Schilpp (eds.), The Philosophy of W. V. Quine. Open Court. pp. 229-289.details
|
|
Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.details
|
|
My conceptions of the logic of modalities.Rudolf Carnap - 1963 - In Paul Arthur Schilpp (ed.), The Philosophy of Rudolf Carnap. La Salle, Ill., Open Court. pp. 889--900.details
|
|
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.details
|
|
An exposition and development of Kanger's early semantics for modal logic.Sten Lindström - 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its origins. Kluwer Academic Publishers.details
|
|
Semantical Considerations for Modal Logics.Saul A. Kripke - 1969 - Journal of Symbolic Logic 34 (3):501-501.details
|
|
On a Milestone of empiricism.Stephen Neale - 2000 - In A. Orenstein & Petr Kotatko (eds.), Knowledge, Language and Logic: Questions for Quine. Kluwer Academic Print on Demand. pp. 237--346.details
|
|