5 results
Contributors
-
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
M. J. Cresswell. The completeness of S0.5. Logique et analyse, n.s. vol. 9 (1966), pp. 263–266. - Richard Routley. The decidability and semantical incompleteness of Lemmon's system S0.5. Logique et analyse, vol. 11 (1968), pp. 413–421. - M. J. Cresswell. Note on the interpretation of SO.5. Logique et analyse, vol. 13 (1970), pp. 376–378. - M. K. Rennie. Remark on Cresswell on S0.5. Logique et analyse, vol. 14 (1971), pp. 757–758.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-329
- Print publication:
- June 1973
-
- Article
- Export citation
R. Routley. Decision procedures and semantics for C1, E1 and S0.50. Logique et analyse, n.s. vol. 11 (1968), pp. 468–471.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
- Print publication:
- June 1973
-
- Article
- Export citation
Bolesław Sobociński. A note on the regular and irregular modal systems of Lewis. Notre Dame journal of formal logic, vol. 3 (1962), pp. 109–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
- Print publication:
- March 1972
-
- Article
- Export citation
Bolesław Sobociński. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 71–80. - A. N. Prior, K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 299–304. - Bolesław Sobociński. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 305–312. - Bolesław Sobociński. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 313–318. - Ivo Thomas. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 335–336. - Ivo Thomas. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 337–338.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
- Print publication:
- March 1972
-
- Article
- Export citation