- (4 other versions)Tractatus Logico-Philosophicus (trans. Pears and McGuinness).Ludwig Wittgenstein - 1921 - New York,: Routledge. Edited by Luciano Bazzocchi & P. M. S. Hacker.details
|
|
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..details
|
|
(2 other versions)Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.details
|
|
Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven,: Yale University Press.details
|
|
Time and modality.Arthur N. Prior - 1957 - London: Oxford University Press.details
|
|
(1 other version)A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.details
|
|
(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.details
|
|
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.details
|
|
Formal Logic.Arthur N. Prior & Norman Prior - 1955 - Oxford,: Oxford University Press.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|
(1 other version)Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.details
|
|
(5 other versions)Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.details
|
|
Provability in logic.Stig Kanger - 1957 - Stockholm,: Almqvist & Wiksell.details
|
|
Deontic logic: introductory and systematic readings.Risto Hilpinen (ed.) - 1970 - Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston.details
|
|
(1 other version)A functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.details
|
|
(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.details
|
|
(1 other version)Modalities and quantification.Rudolf Carnap - 1946 - Journal of Symbolic Logic 11 (2):33-64.details
|
|
(3 other versions)Formal Philosophy: Selected Papers of Richard Montague.Richmond H. Thomason & Richard Montague - 1976 - Foundations of Language 14 (3):413-418.details
|
|
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.details
|
|
(1 other version)Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi.Saul A. Kripke - 1966 - Journal of Symbolic Logic 31 (1):120-122.details
|
|
New foundations for ethical theory.Stig Kanger - 1970 - In Risto Hilpinen (ed.), Deontic logic: introductory and systematic readings. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 36--58.details
|
|
Modality and quantification in S5.A. N. Prior - 1956 - Journal of Symbolic Logic 21 (1):60-62.details
|
|
(1 other version)Logical necessity, physical necessity, ethics, and quantifiers.Richard Montague - 1960 - Inquiry: An Interdisciplinary Journal of Philosophy 3 (1-4):259 – 269.details
|
|
(1 other version)Three-valued logic and future contingents.A. N. Prior - 1953 - Philosophical Quarterly 3 (13):317-326.details
|
|
On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Annals of Mathematics, Ser. 2 47:122-162.details
|
|
Interpreting quantification.Ruth Barcan Marcus - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):252 – 259.details
|
|
The Morning Star Paradox.Stig Kanger - 1957 - Theoria 23 (1):1-11.details
|
|
Boolean Algebras with Operators.Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (1):70-71.details
|
|
(1 other version)Logical Necessity, Physical Necessity, Ethics, and Quantifiers.Richard Montague - 1967 - Journal of Symbolic Logic 32 (3):400-401.details
|
|
A. N. prior's rediscovery of tense logic.Peter Øhrstrøm & Per Hasle - 1993 - Erkenntnis 39 (1):23 - 50.details
|
|
The Syntax of Time-Distinctions.A. N. Prior - 1958 - Franciscan Studies 18 (2):105-120.details
|
|
Modal logic with functorial variables and a contingent constant.C. A. Meredith & A. N. Prior - 1965 - Notre Dame Journal of Formal Logic 6 (2):99-109.details
|
|
Possible worlds.A. N. Prior - 1962 - Philosophical Quarterly 12 (46):36-43.details
|
|
(1 other version)Tense-logic and the continuity of time.A. N. Prior - 1962 - Studia Logica 13 (1):133 - 151.details
|
|
Benton, RA, 527 Blackburn, P., 281 Braüner, T., 359 Brink, C., 543.S. Chopra, B. J. Copeland, E. Corazza, S. Donaho, F. Ferreira, H. Field, D. M. Gabbay, L. Goldstein, J. Heidema & M. J. Hill - 2002 - Journal of Philosophical Logic 31 (615).details
|
|
Calculi of Pure Strict Implication.E. J. Lemon, C. A. Meredith, D. Meredith, A. N. Prior & I. Thomas - 1958 - Studia Logica 8:331-333.details
|
|
Correction de la logique modale du premier et du second ordre S5.Arnould Bayart - 1958 - Logique Et Analyse 1 (1):28-45.details
|
|
(1 other version)Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5 [Quasi-completeness of second-order S5 modal logic and completeness of first-order S5 modal logic].Arnould Bayart - 1959 - Logique Et Analyse 2 (6):99-121.details
|
|
(1 other version)A note on partial postulate sets for propositional logic.Stig Kanger - 1955 - Theoria 21 (2-3):99-104.details
|
|
Logicians at play; or syll, simp and Hilbert.A. N. Prior - 1956 - Australasian Journal of Philosophy 34 (3):182 – 192.details
|
|
In memoriam: Carew Arthur Meredith (1904--1976).David Meredith - 1977 - Notre Dame Journal of Formal Logic 18 (4):513-516.details
|
|
Philosophical logic.J. W. Davis (ed.) - 1969 - Dordrecht,: D. Reidel.details
|
|
Two-Valued Truth Tables for Modal Functions.Henry S. Leonard - 1951 - Journal of Symbolic Logic 16 (4):288-288.details
|
|
(1 other version)A Note on Partial Postulate Sets for Propositional Logic.Stig Kanger - 1957 - Journal of Symbolic Logic 22 (3):330-331.details
|
|
On an Extended System of the Propositional Calculus.Carew Meredith - 1951 - Proceedings of the Royal Irish Academy 54:37-47.details
|
|
Stig Kanger. The Morning Star Paradox. Theoria (Lund), vol. 23 (1957), pp. 1–11. - Stig Kanger. A note on quantification and modalities. Theoria (Lund), vol. 23 (1957), pp. 133–134. [REVIEW]Stig Kanger - 1969 - Journal of Symbolic Logic 34 (2):305-306.details
|
|
Jaakko K. Hintikka J.. Quantifiers in deontic logic. Societas Scientiarum Fennica, Commentationes humanarum-litterarum, vol. 23 no. 4, Helsingfors 1957, 23 pp. [REVIEW]E. J. Lemmon - 1959 - Journal of Symbolic Logic 24 (2):178-179.details
|
|
Stig Kanger. The Morning Star Paradox. Theoria (Lund), vol. 23 (1957), pp. 1–11. - Stig Kanger. A note on quantification and modalities. Theoria (Lund), vol. 23 (1957), pp. 133–134. [REVIEW]Jaakko Hintikka - 1969 - Journal of Symbolic Logic 34 (2):305-306.details
|
|