Logic Bibliography

Skip Introduction

Obviously I got the information on these pages from various other sources. Modal logic is a community effort, and very few people have intimate knowledge of many of the byways.

Here is a bibliography that may help. It includes essentially all the sources that I used to build these pages, and includes pointers to the on-line versions if I know where they are. [Some are commercial, but in cases where many universities subscribe, I have still included the pointers since they will be useful for a good body of the people interested.]

Much of the information originally on these pages came from [Hughes and Cresswell, 1968] but not all the relationships documented there have made it to here. As this project expanded, I was aided by information provided by many others, including Dr. Max Cresswell, Dr. Ken Pledger, Dr. Dolph Ulrich, Dr. Bangs Tapscott, and many many others. My special thanks to Doctors Cresswell and Pledger, who have saved me a great deal of work over the years by emailing answers to my many questions. And very special thanks to Dr. Bangs Tapscott, who introduced me to Modal Logic, and recently gave me his collection of hard to find original Modal Logic papers as he gave up Modal Logic and took up Blue Grass Music.

My references are often not the "best" reference to a given logic system, but merely where I found some relationship documented. I am actively looking for the "best" references for many of the systems. (And slowly working my way through old papers to use the "original" sources.)

If you are just starting out, I'd personally recommend [Hughes and Cresswell, 1996] or [Chellas, 1980] (The former being better, in my opinion, for the serious student. But I learned from [Hughes and Cresswell, 1968] and may therefore be biased.)

If you are looking for a complete bibliography, you are out of luck. For very early logic work, I can recommend the Journal of Symbolic Logic's complete bibliography for the years 1666-1936, "The Journal of Symbolic Logic", Vol. 1, No. 4, A Bibliography of Symbolic Logic, Dec., 1936

Note that some pages (most notably Lewis' S system's page) have their own bibliography.

Quick Index

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z


Actual Bibliography

- A -

M.J.Alban

[Alban, 1943] "Independence of the primitive symbols of Lewis' calculi of propositions", by M. J. Alban Journal of Symbolic Logic (JSL) Vol 8, No. 1, pp 24-26. {S6}

Lennart Åqvist [Aqvist]

[Åqvist, 1964] "Results concerning some modal systems that contain S2" by Lennart Åqvist Journal of Symbolic Logic (JSL) Vol 29, No. 2, pp. 79-87 {S3, S3.5, S9}

Allan Ross Anderson

[Anderson, 1956] "Independent axiom schemata for S5" by Allan Ross Anderson Journal of Symbolic Logic (JSL) Vol 21, No. 3 (1956) pp. 255-256 {S3, S5}

Allan Ross Anderson & Nuel D. Belnap, Jr.

[Anderson and Belnap, 1962] "The pure calculus of entailment" Allan Ross Anderson and Nuel D. Belnap, Jr. Journal of Symbolic Logic (JSL) Vol 27, No. 1 (1962), pp. 19-52. [If anyone knows the history of the funding noted at the bottom of page 19, I'd really be interested in knowing it - John Halleck] {(main index), C4}

Αριστοτἑλης (Aristotle)

[Aristotle, c350] "De Interpretatione" by Aristotle. (Chapters 12 and 13 are on modality) {Aristotle}

[Aristotle, c350a] "Prior Analytics" by Aristotle. {Aristotle}

- B -

George Boolos

[Boolos, 1993] "The Logic of Provability" by George Boolos, Cambridge University Press (Recently back in print.) {(main index), GLB, GLS, KW}

R. A. Bull

[Bull, 1962] "The Implicational Fragment of Dummett's LC" by R. A. Bull, Journal of Symbolic Logic (JSL), Vol. 27, No. 2. (Jun., 1962), pp. 189-194. {(main index), CH, CLC}

- C -

John Thomas Canty

[Canty, 1965] "A note on the axiomatization of Rubin's system S", Notre Dame Journal of Formal Logic, Volume 6, no. 3 (1965), p190-192 {(main index), S (Rubin)}

[Canty, 1965a] "Systems classically axiomatized and properly contained in Lewis's S3", Notre Dame Journal of Formal Logic Volume 6, no. 4 (1965), p309-318 {(main index)}

Alexander Chagrov and Michael Zakharyaschev

[Chagrov and Zakharyaschev, 1997] "Modal Logic" by Alexander Chagrov and Michael Zakharyaschev, Clarendon Press, 1997. {(main index), KC}

Brian F. Chellas

[Chellas, 1980] "Modal Logic", by Brian F. Chellas Cambridge University Press [Recommended as an introductory text] {(main index), B, E, EC, ECN, EMN, EN, K, K4, M, R, S4, S5}

John R. Chidgey

[Chidgey, 1973] "A note on Transitivity" by John R. Chidgey Notre Dame Journal of Formal Logic, Volume 14, Number 2 (1973), pages 273-275 Notre Dame Journal of Formal Logic, Errata: "A note on Transitivity", Volume 17, Number 4 (1976), page 640 Referenced by axiom (p>q) > ((r>p)>(r>q)) and axiom (p>q) > ((q>r)>(p>r)) {}

Alonzo Church

[Church, 1936] "A Note on the Entscheidungsproblem" by Alonzo Church The Journal of Symbolic Logic, Vol. 1, Num. 2 (Mar, 1936) p 40-41 {(main index)}

Max J. Cresswell

[Cresswell, 1967] "Note on a System of Åqvist" M. J. Cresswell The Journal of Symbolic Logic, Vol. 32, No. 1. (Mar., 1967), pp. 58-60. {(main index), S3}

[Cresswell, 2005, email] 12sep2005 (Helping to fix up the K4 mess.) {}

- D -

James Dugundji

[Dugundji, 1940] "Note on a Property of Matrices for Lewis and Langford's Calculi of Propositions" by James Dugundji, In the Journal of Symbolic Logic, Volume 5, Number 4, (Dec 1940), p150-151 {S1, S2, S3, S4, S5}

Michael A.E. Dummett

[Dummett, 1959] "A Propositional Calculus with a Denumerable Matrix" by M.A.E. Dummett, In the Journal of Symbolic Logic, Vol 24 No. 2(1959), p97-103. {(main index), LC}

- E -

Zachary Ernst, Brandon Fitelson, Kenneth Harris, Larry Wos

[EFHW, 2002] Shortest Axiomatizations of Implicational S4 and S5 by Zachary Ernst, Brandon Fitelson, Kenneth Harris, and Larry Wos, Notre Dame Journal of Formal Logic, Volume 43, Number 3, 2002 pg. 169-179 {C4}

Arnold F. Emch

[Emch, 1936] "Implication and Deducibility" by Arnold F. Emch, Journal of Symbolic Logic, Vol. 1, No. 1. (Mar., 1936), pp. 26-35. {(main index), L}

[Emch, 1936a] "Addendum to the Article 'Implication and Deducibility'" by Arnold F. Emch, Journal of Symbolic Logic, Vol. 1, No. 2. (Jun., 1936) page 58 {L}

[Emch, 1937] "Deducibility with Respect to Necessary and Impossible Propositions" by Arnold F. Emch, Journal of Symbolic Logic, Vol. 2, No. 2, Jun., 1937, p 78-81 {L}

- F -

Robert Feys

[Feys, 1937] "Les Logiques nouvelles des modalités" Revue Neo - scholastique de Philosophy, Volume XL (1937), p 517-553 [I have not actually seen this paper, but am including it because it is often cited, and it is shorter to include it here and just give the "[Feys, 1937]" citation then to keep spelling it out. -JH] {T}

[Feys, 1950] "Les systèmes formalisés de modalités aristotéliciennes" by Robert Feys, "Revue philosophique de Louvaini", vol 48, p478-509. [I have not actually seen this paper, but am including it because it is often cited, and it is shorter to include it here and just give the "[Feys, 1950]" citation then to keep spelling it out. -JH] {S10, S1, S20}

[Feys, 1965] "Modal Logics", by Robert Feys, 1965. [actually, Feys died in 1961, this work was published posthumously with commentary of Joseph Dopp, by the Foundation Universitaire de Belgique. -JH] {(main index), S0, S1, S20, S2, S3, S40, S4, S5, T, T0, Tx}

Branden Fitelson

[Fitelson, 2001] "New Elegant Axiomatizations of Some Sentential Logics" by Branden Fitelson {}

[Fitting, 1998] "First Order Modal Logic, by Melvin Fitting, 1998. Note that there is an online errata (PDF file). {}

- G -

G. N. Georgacarakos

[Georgacarakos, 1977] "Additional extensions of S4", G. N. Georgacarakos, Notre Dame Journal of Formal Logic, Vol. 18, no. 3 (1977) p477-488. {S4, S4.03}

[Georgacarakos, 1978] "A modal system properly independent of both the Brouwerian system and S4" G. N. Georgacarakos, Notre Dame J. Formal Logic, Volume 19, no. 1 (1978) p101-114 {(main index), X}

R. I. Goldblatt

[Goldblatt, 1973] "A Modal-Theoretic Study of Some Systems Containing S3" R. I. Goldblatt, Zeitshrift für Mathematische Logik und Grundlagen der Mathematik Bd. 19, S75-82 (1973) {(introduction index)}

[Goldblatt 1973a] "A new extension of S4", R.I. Goldblatt Notre Dame Journal of Formal Logic, Volume 14, Number 4 (1973) p567-574 {(main index), S4, S4.01}

[Goldblatt 2005] "Mathematical Modal Logic: A view of it's evolution", R. I. Goldblatt in "Handbook of the History of Logic", Volume 6. (Elsevier) {(introduction index)}

Kurt Gödel

[Gödel, 1933] "Eine Interpretation des intuitionistichen Aussagenkalküls" by Kurt Gödel "Ergebnisse eines mathematischen Kolloquiums", Volume 4, 1933, pp 39-40 {T}

- H -

Ian Hacking

[Hacking, 1963] "What is strict implication?" Ian Hacking, Journal of Symbolic Logic Volume 28, No.1 (1963), pp. 51-71. {IPC, S3, S4}

L. H. Hackstaff

[Hackstaff, 1966] "Systems of Formal Logic" by L.H.Hackstaff, D. Reidel Publishing, 1966 {(main index), Fitch Calculus, PPL, Inconsistent, IPC, Johansson Minimal Calculus, PC}

Sören Halldén [Soren Hallden]

[Halldén, 1950] "Results concerning the decision problem of Lewis's Calculi S3 and S7" by Sören Halldén Journal of Symbolic Logic (JSL), Vol 14, No. 4, (1950), pp. 230-236 {S2, S3, S7, S8}

G. E. Hughes and Max J. Cresswell

[Hughes and Cresswell, 1968] "An Introduction to Modal Logic" by the late G.E. Hughes and M. J. Cresswell, Methuen and Co LTD., 1968 [Good Introductory text for those with a good math background -jh] {(main index), C3, C4, K4 (Sobociński), [K4 disambiguation], Kt, M, [M disabiguation], S10, S1, S20, S2, S3, S4, S4.2, S5, S7, S9, T}

[Hughes and Cresswell, 1996] "A New Introduction to Modal Logic" by the late G.E. Hughes and M. J. Cresswell, Routledge, 1996 [Good Introductory text for those with a good math background -jh] {(main index), B, D, E+, E20, E2, E30, E3, E60, E6, E70, E7, IPC, K, K2, K3, K3.1, [K4 disambiguation], K4, KH, KW, PC, S0.5, S1, S20, S2, S30, S3, S3.5, S4, S4.1, S4.2.1, S4.2, S4.3.1, S4.3, S4.4, S4.9, S4f, S4m, S5, S60, S6, S70, S7, S8, S9, T, Trivial, Verum}

David. Hilbert and Wilhelm Ackermann

[Hilbert und Ackermann, 1938] "Grundzüge der theoretischen Logik" by D. Hilbert und W. Ackermann, (Volume 27 of "Die Grundlehren der mathematischen Wissenschaften"), second edition 1938. (I think the current edition is the Sixth? - JH) {}

[Hilbert and Ackermann, 1950] "Principles of Mathematical Logic" by D. Hilbert and W. Ackermann, Chelsea Publishing Company, 1950. (This is an English translation of the second edition of [Hilbert and Ackermann, 1938]) {ICI}

[Hilbert und Ackermann, 1959] "Grundzüge der theoretischen Logik" by D. Hilbert und W. Ackermann, (Volume 27 of "Die Grundlehren der mathematischen Wissenschaften"), Fourth Edition 1959. {PPL, ICI}

David Hilbert and Paul Bernays

[Hilbert und Bernays, 1934] "Grundlagen der Mathematick" by D. Hilbert und P. Bernays, Julius Springer Verlag, 1934 {PPL, ICI}

Risto Hilpinen

[Hilpinen, 1981] "Deontic Logic: Introductory and Systematic Readings" by Risto Hilpinen, D. Reidel Publishing Company, 1971-1981. {Mally's deontic, Standard Deontic, von Wright's 1951 Deontic, von Wright's 1956 Deontic, von Wright's 1964 Deontic}

J Roger Hindley and David Meredith

[Hindley and Meredith, 1990] "Principal Type-Schemes and Condensed Detachment", Journal of Symbolic Logic (JSL), Volume 55 (1990), Number 1, pages 90-105 {}

Lloyd Humberstone

[Humberstone, 2000] "An Intriguing Logic with Two Implicational Connectives" by Lloyd Humberstone Notre Dame Journal of Formal Logic, 41, no. 1 (2000), p1-40 {(main index), BCSK}

- L -

Edward John Lemmon

[Lemmon, 1957] "New Foundations for Lewis Modal Systems" by E. J. Lemmon Journal of Symbolic Logic Volume 22, number 2, p176-186 {(main index), M, [M disabiguation], S0.5, S0.9, S1, S2, T}

E. J. Lemmon with Dana Scott

[Lemmon and Scott, 1977] "An Introduction to Modal Logic" by E.J. Lemmon, In collaboration with Dana Scott, Edited by Krister Segerberg, eventually published by the "American Philosophical Quarterly Monograph series Edited by Nicholas Rescher: Monograph # 11. Also known as the "Lemmon notes" and the "Lemmon papers", and originally titled "Intentional Logic". The xerox version was dated July 26th, 1966, and had presumably been curculating since Lemmon died on July 29th, 1966 with the book unfinished. For many years is was the most cited unpublished paper I am aware of -JH Later organized by Krister Segerberg for publication. {(main index), Aristotle, KF}

Wolfgang Lenzen

[Lenzen, 1978] "A rare accident" by Wolfgang Lenzen, Notre Dame Journal of Formal Logic, Vol. 19 nm 2 (1978) {(main index)}

Clarence Irving Lewis

[Lewis, 1918] "A Survey of Symbolic Logic" by C.I. Lewis, University of California Press, Berkeley {(main index), S, S3}

[Lewis, 1936] "Emch's Calculus and Strict Implication", by C. I. Lewis, Journal of Symbolic Logic (JSL), Vol. 1, Num. 3 (Sep 1936), pp. 77-86 {(main index), L, S}

Clarence Irving Lewis and Cooper Harold Langford

[Lewis and Langford, 1932] "Symbolic Logic" by C.I.Lewis and C.H.Langford, 1932 {(main index), S, S10, S1, S2, S3, S4, S5}

- M -

Storrs McCall"

[McCall, 1967] "Polish Logic 1920-1939", Edited by Storrs McCall, {PC}

Norm D. Megill and Martin W. Bunder

[Megill and Bunder, 1996] "Weaker D-complete logics", Norman D. Megill, and Martin W. Bunder in Logic Journal of the IGPL, vol. 4, No. 2 (1996), pp. 215-225. {(main index), M, [M disabiguation]}

J. C. C. McKinsey

[McKinsey, 1941] "A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology", by J. C. C. McKinsey, Journal of Symbolic Logic (JSL), Vol. 6, No. 4, Dec., 1941 {S2, S4}

J. C. C. McKinsey and A. Tarski

[McKinsey and Tarski, 1948] "Some theorems about the sentential calculus of Lewis and Heyting" J. C. C. McKinsey and A. Tarski Journal of Symbolic Logic (JSL), Volume 13, No. 1 (1948) pp 1-15 {(main index), IPC, S4, S5}

C. A. Meridith

[Meredith 1966] "Postulates for Implicational Calculi" C. A. Meredith The Journal of Symbolic Logic, Vol. 31, No. 1. (Mar., 1966), pp. 7-9 . {(main index)}

- N -

Linh Anh Nguyen

[Nguyen, 1999] "A New Space Bound for the Modal Logics K4, KD4, and S4" by Linh Anh Nguyen In "Mathematical Foundations of Computer Science 1999" (Lecture Notes in Computer Science 1672, Published by Springer) {K4, KD4, S4}

- P -

William Tuthill Parry

[Parry, 1939] "Modalities in the Survey System of Strict Implication" by William Tuthill Parry Journal of Symbolic Logic (JSL), Vol. 4, No. 4. (Dec., 1939), pp. 137-154. {S1, S2, S3, S5}

Ken Pledger

[Pledger, 1972] "Modalities of systems containing S3" by K.E. Pledger, In "Zeitshrift für Mathematische Logik und Grundlagen der Mathematik" Bd. 18, S. 267-283 (1972) {(introduction index), (main index), 6p, 6pa, 8p, 8q, 8qa, 10p, 10pb, 10r, 10ra, 12p, 12pa, 12pb, 12q, 12qb, 12s, 12sa, 14q, 14qa, 13qb, 14r, 14rb, 16s, 16sb, 18r, 18ra, 18rb, 20sb, K2, S3, S3.5, S4, S4.2, S4m, S5, S7, S8, S9, Trivial}

[Pledger, 1975] "Some Extensions of S3" by K.E. Pledger, Notre Dame Journal of Formal Logic, Vol 16, No. 2, April 1975 p271-272 {(main index)}

[Pledger, 1980] "Location of Some Modal Systems" by K. E. Pledger Notre Dame Journal of Formal Logic, Vol 21, # 4, October 1980 pgs 683-684 {(main index), 12p}

[Pledger, 2000, personal communication.] Email, 10Jul2000. (Corrects typographical errors in [Pledger, 1972] for system 3q (k2) {(main index), K2, S3.5}

[Pledger, 2001, personal communication.] Email, 10jan2001. (Documentation on S3.3 vs S3.5, documenting S3(S) as as a system eventually proved equal to for S3.)

[Pledger, 2001a, personal communication.] Frame relationships for the marked system (KF). {KF}

[Pledger, 2001b, personal communication.] Note on the frame relationships in ver. {Verum}

[Pledger, 2005, personal communication.] Email, 12sep2005. (Fixing up the K4 mess) {}

Graham Priest

[Priest 2001] "An Introduction to Non-Classical Logic" by Graham Priest, Cambridge University Press. (Good introduction for those already familiar with classical logic) {(main index), B, D, L, S4, S5, T}

[Priest, 2007, email Personal email 2007-01-18, concerning system S0. {S0}

Arthur Prior

[Prior, 1967] "Past, Present, and Future" by Arthur Prior, Oxford University Press. {Kt, S4.3.1, T}

- Q -

W. V. Quine

[Quine, 1938] "Completeness of the Propositional Calculus" by W. V. Quine, Journal of Symbolic Logic (JSL), Vol. 3, No. 1. (Mar., 1938), pp. 37-40. {PC}

- R -

Nichalas Rescher and Alasdair Urquhart

[Rescher and Urquhart, 1971] "Temporal Logic", by Nichalas Rescher and Alasdair Urquhart, Springer-Verlag 1971 {B, Kb, Kl, Kt, S4.3, S5, T}

Michael D. Resnik

[Resnik, 1962] "A decision procedure for positive implication" Michael D. Resnik Notre Dame Journal of Formal Logic Volume 3, no. 3 (1962), 179-186 {ICI}

Alfred North Whitehead and Bertrand Russell

[Whitehead and Russell, 1910] "Principia Mathematica", Alfred North Whitehead and Bertrand Russell, Cambridge University Press. Three volumes, published volume 1 - 1910, volume 2 - 1912, volume 3 - 1913, Second editions (1925, 1927, 1927). Shorter updated version called "Principia Mathematica to *56", Cambridge: Cambridge University Press, 1962. {PC}

J. B. Rosser

[Roser, 1953] "Logic for Mathematicians", By J.B. Rosser, New York Press. 1953 {PC}

- S -

George F. Schumm

[Schumm, 1974] "S3.02 = S3.03" by George F. Schumm Notre Dame Journal of Formal Logic, vol 15, No. 1 (1974), p147-148 {(main index)}

Leo Simons

[Simons, 1953] "New axiomatizations of S3 and S4", by Leo Simons, Journal of Symbolic Logic (JSL) Vol 18, No. 4 (1953) pp. 309-316 {S1, S2, S3, S4, S5}

Bolesław Sobociński [Boleslaw Sobocinski]

[Sobociński, 1962] "A contribution to the axiomatization of Lewis' system S5" by Bolesław Sobociński, Notre Dame Journal of Formal Logic, Vol 3, no. 1 (1962), p51-60 {(main index), S10, S20, S30, S3, S3*, S40, S5, Tx}

[Sobociński, 1964] "Remarks about axiomatizations of certain modal systems", by Bolesław Sobociński, Notre Dame Journal of Formal Logic, Volume 5, No. 1 (1964), p71-80 {(main index), K, K2, K3}

[Sobociński, 1964a] "Family K of the non-Lewis modal systems", by Bolesław Sobociński, Notre Dame Journal of Formal Logic, Volume 5, number 4 (1964) p313-318 {K, K2, K3, K3.1, K4 (Sobociński), [K4 disambiguation]}

[Sobociński, 1964b] "Modal System 4.4" by Bolesław Sobociński, Notre Dame Journal of Formal Logic, Volume 5, no. 4 (1964), 305-312 {}

[Sobociński 1970] "Certain Extensions of Modal System S4" by Bolesław Sobociński, Notre Dame Journal of Formal Logic, Volume 11, Number 3, 347-368, (July 1970) {V1, V2} {(main index), V1, V2}

[Sobociński, 1971] "A proper subsystem of S4.04" by Bolesław Sobociński Notre Dame Journal of Formal Logic, Vol. 12, no. 3 (1971), p381-384 {(main index), S4.02, S4.04}

[Sobociński 1971] "A new class of modal systems" by Bolesław Sobociński Notre Dame Journal of Formal Logic, Vol. 12, no. 3 (1971), 371-377 {(Main Index)}

[Sobociński, 1976a] "Pledger lemma and the modal system S30", by Bolesław Sobociński, Notre Dame Journal of Formal Logic, Vol. 17, no. 2 (1976) p253-256 {(main index)}

Timothy Surendonk

[Surendonk, 1995] "Does EK4 have the Finite Model Property?" by Timothy Surendonk, 5nov1995 {EK4}

[Surendonk, 1998] "Canonicity for Intensional Logics", PHD Thesis, by Timothy Surendonk, Australian National University, 1998 {E, EK4}

- T -

Ivo Thomas

[Thomas, 1964] "Decision procedures for S20 and T0.", by Ivo Thomas, Notre Dame Journal of Formal Logic, Volume 5, No. 4 (1964), p319-320 {T0}

- U -

Dolph Ulrich

[Ulrich, 1981]"Strict implication in a sequence of extensions of S4", by Dolph Ulrich in the "Mathematische Logik und Grundlagen der Mathematik" Vol. 27 (1981), no. 3, 201-212. {C4}

[Ulrich, 2005b, personal communication] Email, 21sep2005 (Points out various problems I had had in the area of C4, and points to documentation of the real state of affairs.) {C4}

- V-

G. H. von Wright

[von Wright, 1951] "An essay in Modal Logic" by G. H. von Wright (1951) {(main index), T}

P. G. J. Verdenduin

[Vredenduin, 1939] "A System of Strict Implication" by P. G. J. Vredenduin Journal of Symbolic Logic (JSL) Vol. 4, No. 2, Jun., 1939, p73-76 {(main index), N}

- W -

Larry Wos and Matthew Spinks

[Wos and Spinks, 2005] "The Arrival of Automated Reasoning", Larry Wos and M. Spinks, ESCAR-2005 paper (To appear, Journal of Automated Reasoning) {BCSK}

Mordchaj Wajsberg

[Wajsberg, 1937] "Metalogische Beiträge", by Mordchaj Wajsberg, appearing in "Wiadomości Matematyczne" Volume 43 (1937), pages 1-38. English translation by S. McCall and P. Woodruff "Contributions to Metalogic", appeared in [McCall, 1967, pages 285-318] {PC}

[Wajsberg, 1939] "Metalogische Beiträge II", by Mordchaj Wajsberg, appearing in ""Wiadomości Matematyczne" Volume 47 (1939), pages 119-139. English translation by S. McCall "Contributions to Metalogic - II", appeared in [McCall, 1967, pages 319-337] {PC}

- Z -

J. Jay Zeman

[Zeman, 1968] "Lemmon-Style Bases for the Systems S10 - S40", J. Jay Zeman, Journal of Symbolic Logic (JSL) Vol. 33, No. 3. (Sep., 1968), pp. 458-461 {S10, S1}

[Zeman, 1972] "S4.6 is S4.9", J. Jay Zeman, Notre Dame Journal of Formal Logic, Vol. 13, no. 1 (1972), p 118 {(main index)}

[Zeman, 1973] "Modal Logic, the Lewis-Modal systems" by J. Jay Zeman, Oxford University Press. {(introduction index), (main index), [D disambiguation], D, ICI, IPC, K2, K3, K3.1, K3.2, K4 (Sobociński), [K4 disambiguation], LC, PC, PCI, S10, S1, S20, S2, S30, S3, S40, S4, S4.2.1, S4.2, S4.3.1, S4.3.2, S4.3, S4.4, S4.9, S5, T, T0, V1, V2}


Community requests


Go to ...


© Copyright 2005, 2006, 2007, 2008, 2009 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/bibliography.html
This page was last modified on November 10th, 2009