- Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.details
|
|
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Grundlagen der Mathematik I. Hilbert & Bernays - 1935 - Revue de Métaphysique et de Morale 42 (2):12-14.details
|
|
G. E. Hughes & M. J. Cresswell, A New Introduction to Modal Logic. [REVIEW]Paolo Crivelli & Timothy Williamson - 1998 - Philosophical Review 107 (3):471.details
|
|
Natural deduction for non-classical logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.details
|
|
The deduction theorem in a functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (4):115-118.details
|
|
Symbolic logic.Clarence Irving Lewis - 1932 - [New York]: Dover Publications. Edited by Cooper Harold Langford.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
Modal logics.Robert Feys - 1965 - Louvain,: E. Nauwelaerts. Edited by Joseph Dopp.details
|
|
An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.details
|
|
The deduction theorem in S4, S4.2, and S5.J. Jay Zeman - 1967 - Notre Dame Journal of Formal Logic 8:56.details
|
|
Modal logic: the Lewis-modal systems.Joseph Jay Zeman - 1973 - London,: Clarendon Press.details
|
|
Jan von Plato and Sara Negri, Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.details
|
|
Modal Logic and Self-Reference.Albert Visser & Craig Smorynski - 1989 - Journal of Symbolic Logic 54 (4):1479.details
|
|
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.details
|
|
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
Natural deduction rules for modal logics.Thomas W. Satre - 1972 - Notre Dame Journal of Formal Logic 13 (4):461-475.details
|
|
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.details
|
|
On the definition of formal dedu.Richard Montague - 1956 - Journal of Symbolic Logic 21:129.details
|
|
Modal Logics.E. E. Dawson - 1966 - Philosophical Quarterly 16 (65):401-402.details
|
|
Strict implication, deducibility and the deduction theorem.Ruth Barcan Marcus - 1953 - Journal of Symbolic Logic 18 (3):234-236.details
|
|
New foundations for Lewis modal systems.E. J. Lemmon - 1957 - Journal of Symbolic Logic 22 (2):176-186.details
|
|
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.details
|
|
The deduction theorem in ${\rm S}4,$ ${\rm S}4.2$, and ${\rm S}5$.J. Jay Zeman - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):56-60.details
|
|
Grundlagen der Mathematik I.G. T. Kneebone - 1970 - Journal of Symbolic Logic 35 (2):321-323.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.details
|
|
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.details
|
|
What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1992 - CSLI Publications.details
|
|
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT 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
|
|
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.details
|
|
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.details
|
|
Modal Logics.Robert Feys & J. Dopp - 1965 - Journal of Symbolic Logic 34 (3):501-502.details
|
|
Modal Logics.Robert Feys - 1965 - Studia Logica 22:170-173.details
|
|
Kripke completeness revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.details
|
|
Modal logic, the Lewis-modal systems.J. Jay Zeman - 1973 - Revue Philosophique de la France Et de l'Etranger 163:479-479.details
|
|
Recherches Sur la Th”Eorie de la D”Emonstration.J. Herbrand - 1930 - Dissertation, Universit’e de Parisdetails
|
|
Simple Consequence Relations.Arnon Avron - unknowndetails
|
|
Gentzen's Logic.Jan von Plato - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 667-721.details
|
|