Funder
NCN
Japan Society for the Promotion of Science
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference12 articles.
1. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, New York, 2001.
2. Byrd M., Ullrich D.: The extensions of BAlt
3, Journal of Philosophical Logic 6, 109–117 (1977)
3. Byrd M.: The extensions of BAlt
3—revisited. Journal of Philosophical Logic 7, 407–413 (1978)
4. Fine, K., An ascending chain of S4 logics, Theoria 40(2):110–116, 1974.
5. Jankov, V. A., On the Relation Between Deducibility in Intuitionistic Propositional Calculus and Finite Implicative Structures, Dokl. Akad. Nauk SSSR, vol. 151, 1963, pp. 1293–1294. English translation in Sov. Math., Dokl. 4, 1963, pp. 1203–1204, 1969.