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.

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

[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}

[Å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}

[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}

[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, c350]
"*De Interpretatione*" by Aristotle.
(Chapters 12 and 13 are on modality)
{Aristotle}

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

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

[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}

[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)}

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

[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}

[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))
{}

[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)}

[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.) {}

[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}

[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}

[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}

[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}

[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]*
{S1^{0},
S1,
S2^{0}}

[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,
S2^{0},
S2, S3,
S4^{0},
S4, S5,
T,
T^{0},
T_{x}}

[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).
{}

[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}

[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)}

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

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

[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}

[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}

[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],
K_{t},
M,
[M disabiguation],
S1^{0},
S1,
S2^{0},
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+,
E2^{0},
E2,
E3^{0},
E3,
E6^{0},
E6,
E7^{0},
E7, IPC,
K, K2,
K3, K3.1,
[K4 disambiguation],
K4, KH,
KW, PC,
S0.5, S1,
S2^{0},
S2,
S3^{0},
S3, S3.5,
S4, S4.1,
S4.2.1,
S4.2,
S4.3.1,
S4.3, S4.4,
S4.9, S4f,
S4m, S5,
S6^{0},
S6,
S7^{0},
S7, S8,
S9, T,
Trivial,
Verum}

[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}

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

[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}

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

[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}

[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}

[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}

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

[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}

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

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

[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]}

[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}

[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}

[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)}

[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}

[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}

[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) {}

[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}

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

[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}

[Rescher and Urquhart, 1971]
"*Temporal Logic*", by Nichalas Rescher and Alasdair Urquhart, Springer-Verlag
1971
{B,
K_{b},
K_{l},
K_{t},
S4.3, S5,
T}

[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}

[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}

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

[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)}

[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}

[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),
S1^{0},
S2^{0},
S3^{0},
S3, S3*,
S4^{0},
S5,
T_{x}}

[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 S3 ^{0}*", by Bolesław Sobociński,
Notre Dame Journal of Formal Logic,
Vol. 17, no. 2 (1976) p253-256
{(main index)}

[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}

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

[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}

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

[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}

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

[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}

[Zeman, 1968]
"*Lemmon-Style Bases for the Systems S1 ^{0} - S4^{0}*", J. Jay Zeman,
Journal of Symbolic Logic (JSL)
Vol. 33, No. 3. (Sep., 1968), pp. 458-461
{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,
S1^{0},
S1,
S2^{0},
S2,
S3^{0},
S3,
S4^{0},
S4, S4.2.1,
S4.2,
S4.3.1,
S4.3.2,
S4.3, S4.4,
S4.9, S5,
T,
T^{0},
V1, V2}

- If anyone knows of an online source for past issues of
"
*Zeitshrift für Mathematische Logik und Grundlagen der Mathematik*", I would be interested in hearing about it. -JH - If anyone knows of an on line source for past issues (prior
to volume 38) of the
"
*Osaka Mathematical Journal*" I would be interested in hearing about it. -JH - If anyone knows of an online source for past issues of "
*Theoria*" I would be interested in hearing about it. -JH

© 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