13 results
Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 (1962), pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional calculus related to Simons' axiomatization of S3.Notre Dame journal of formal logic, vol. 3 (1962), pp. 206–208.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 245
- Print publication:
- August 1967
-
- Article
- Export citation
Moh Shaw-Kwei. Modal systems with a finite number of modalities. Revised English translation of XXV 184(2). Scientia Sinica, vol. 7 no. 4 (1958), pp. 388–412.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-184
- Print publication:
- June 1960
-
- Article
- Export citation
Gustav Bergmann. The representations of S5. The. journal of symbolic logic, vol. 21 (1956), pp. 257–260.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
- Print publication:
- June 1960
-
- Article
- Export citation
Alan Ross Anderson. Independent axiom schemata for von Wright's M. The journal of symbolic logic, vol. 22 no. 3 (1957), pp. 241–244.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
- Print publication:
- September 1958
-
- Article
- Export citation
E. J. Lemmon. New foundations for Lewis modal systems. The journal of symbolic logic, vol. 22 no. 2 (1957), pp. 176–186.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
- Print publication:
- September 1958
-
- Article
- Export citation
Alan Ross Anderson. Independent axiom schemata for S5. The journal of symbolic logic, vol. 21 (1956), pp. 255–256.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 327
- Print publication:
- September 1957
-
- Article
- Export citation
Alan Ross Anderson. Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M. The journal of symbolic logic, vol. 19 (1954), pp. 201–214. - Alan Ross Anderson. Correction to a paper on modal logic. The journal of symbolic logic, vol. 20 (1955), p. 150. - Alan Ross Anderson. On alternative formulations of a modal system of Feysvon Wright. The journal of computing systems, vol. 1 no. 4 (1954), pp. 211–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 3 / September 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
- Print publication:
- September 1955
-
- Article
- Export citation
Bolesław Sobociński. Note on a modal system of Feys-von Wright. The journal of computing systems, vol. 1 no. 3 (1953), pp. 171–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
- Print publication:
- December 1954
-
- Article
- Export citation
Robert Feys. Les systèmes formalisés des modalités aristotéliciennes. Revue philosophique de Louvain, vol. 48 (1950), pp. 478–509.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-293
- Print publication:
- December 1954
-
- Article
- Export citation
Leo Simons. New axiomatizations of S3 and S4. The journal of symbolic logic, vol. 18 (1953), pp. 309–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
- Print publication:
- December 1954
-
- Article
- Export citation
J. C. C. McKinsey. Systems of modal logic which are not unreasonable in the sense of Halldén. The journal of symbolic logic, vol. 18 (1953), pp. 109–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
- Print publication:
- March 1954
-
- Article
- Export citation
G. H. von Wright. A new system of modal logic. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 59–63.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
- Print publication:
- March 1954
-
- Article
- Export citation
Schiller Joe Scroggs. Extensions of the Lewis system S5. The journal of symbolic logic, vol. 16 (1951), pp. 112–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 4 / December 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-273
- Print publication:
- December 1951
-
- Article
- Export citation