Abstract
We show how to use diagrams in order to obtain straightforward completeness theorems for extensions of K4.3 and a very simple and constructive proof of Bull's theorem: every normal extension of S4.3 has the finite model property.
Similar content being viewed by others
References
Bull, R., ‘That all normal extensions of S4.3 have the finite model property’, Zeitschr. f. math. Logic und Grundlagen d. Math. (1966), 341–344.
Corsi, G., ‘The quantified modal logic of positive rational numbers and some related system’, Notre Dame Journal of Formal Logic (1993), 263–283.
Fine, K., ‘An ascending chain of S4 logics’, Theoria (1974), 110–116.
Fine, K., ‘The logics containing S4.3’, Zeitschr. f. math. Logic und Grundlagen d. Math. (1971), 371–376.
Fine, K., ‘Model theory for modal logic’, Part I, Journal of Philos. Logic 7 (1978), 125–156.
Goldblatt, R., Logics of time and computation, Center for the Study of Language and Information, Lecture Notes 7, Stanford, 1987.
Kracht, N., ‘Prefinitely axiomatizable modal and intermediate logics’, Mathematical Logic Quarterly 39 (1993), 301–322.
Maksimova, L., ‘A classification of modal logics’, Algebra i Logika 18 (1979), n. 3, 328–340.
Segerberg, K., ‘Franzen's proof of Bull's theorem’, Ajatus (1971), 216–221.
Zakharyaschev, M., A. ALEKSEEV, ‘All finitely axiomatizable normal extensions of K4.3 are decidable’, Mathematical Logic Quarterly 41 (1995), 15–23.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Corsi, G. Bull's Theorem by the Method of Diagrams. Studia Logica 62, 163–176 (1999). https://doi.org/10.1023/A:1026447418461
Issue Date:
DOI: https://doi.org/10.1023/A:1026447418461