- 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
|
|
Immanuel Kant's Critique of pure reason.Immanuel Kant - 1929 - London: Macmillan. Edited by Norman Kemp Smith.details
|
|
A functional calculus of first order based on strict implication.Ruth Barcan Marcus - 1946 - [n. p.,: [N. P..details
|
|
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.details
|
|
Translations from the philosophical writings of Gottlob Frege.Gottlob Frege - 1952 - New York,: Philosophical Library. Edited by P. T. Geach & Max Black.details
|
|
Stoic logic.Benson Mates - 1953 - Berkeley,: University of California Press.details
|
|
Formal Logic.Arthur N. Prior & Norman Prior - 1955 - Oxford,: Oxford University Press.details
|
|
Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.details
|
|
An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.details
|
|
Handbook of Tableau Methods.Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle & Joachim Posegga (eds.) - 1999 - Dordrecht, Netherland: Springer.details
|
|
A Treatise of Human Nature (1739-40).David Hume - 1969 - Mineola, N.Y.: Oxford University Press. Edited by Ernest Campbell Mossner.details
|
|
The Development of Logic.William Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.details
|
|
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.details
|
|
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
Modality and reference.Richmond H. Thomason & Robert C. Stalnaker - 1968 - Noûs 2 (4):359-372.details
|
|
Abstraction in First-Order Modal Logic.Robert C. Stalnaker & Richmond H. Thomason - 1968 - Theoria 34 (3):203-207.details
|
|
Systematically misleading expressions.G. Ryle - 1932 - Proceedings of the Aristotelian Society 32:139.details
|
|
The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.details
|
|
On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.details
|
|
Notes on existence and necessity.Willard V. Quine - 1943 - Journal of Philosophy 40 (5):113-127.details
|
|
Notes on Existence and Necessity.Willard V. Quine - 1956 - Journal of Symbolic Logic 21 (1):77-78.details
|
|
Nonexistent Objects.Terence Parsons - 1980 - Yale University Press.details
|
|
Frege's Begriffsschrift Theory of Identity.Richard L. Mendelsohn - 1982 - Journal of the History of Philosophy 20 (3):279-299.details
|
|
Tableau methods of proof for modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (2):237-247.details
|
|
Modalities.Ruth Barcan Marcus - 1996 - Philosophy and Phenomenological Research 56 (4):978-979.details
|
|
Counterpart theory and quantified modal logic.David Lewis - 1968 - Journal of Philosophy 65 (5):113-126.details
|
|
A Survey of Symbolic Logic.C. I. Lewis - 1918 - Journal of Philosophy, Psychology and Scientific Methods 17 (3):78-79.details
|
|
Speaker’s Reference and Semantic Reference.Saul Kripke - 1977 - Midwest Studies in Philosophy 2 (1):255-276.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 Treatise of Human Nature.David Hume & A. D. Lindsay - 1958 - Philosophical Quarterly 8 (33):379-380.details
|
|
Modality and Quantification.Jaakko Hintikka - 1961 - Theoria 27 (3):119-128.details
|
|
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.details
|
|
A Modal Logic Analog of Smullyan's Fundamental Theorem.Melvin Fitting - 1973 - Mathematical Logic Quarterly 19 (1):1-16.details
|
|
A Modal Logic Analog of Smullyan's Fundamental Theorem.Melvin Fitting - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (1):1-16.details
|
|
A modal logic "epsilon"-calculus.Melvin Fitting - 1975 - Notre Dame Journal of Formal Logic 16:1.details
|
|
Negative existentials.Richard L. Cartwright - 1960 - Journal of Philosophy 57 (20/21):629-639.details
|
|
A general interpreted modal calculus.Aldo Bressan - 1972 - New Haven,: Yale University Press.details
|
|
Modal logic should say more than it does.Melvin Fitting - unknowndetails
|
|
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.details
|
|
Set theory and the continuum problem.Raymond Smullyan - 1996 - Clarendon Press.details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.details
|
|
A Structuralist Theory of Logic.Arnold Koslow - 1992 - New York: Cambridge University Press.details
|
|
A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.details
|
|
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.details
|
|
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.details
|
|
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.details
|
|
Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.details
|
|
Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.details
|
|
Philosophical Explanations. [REVIEW]Robert Nozick - 1981 - Philosophy 58 (223):118-121.details
|
|
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.details
|
|