No CrossRef data available.
Article contents
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.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1972