{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:50Z","timestamp":1755220970712,"version":"3.43.0"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1026447418461","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T11:45:40Z","timestamp":1068119140000},"page":"163-176","source":"Crossref","is-referenced-by-count":0,"title":["Bull's Theorem by the Method of Diagrams"],"prefix":"10.1007","volume":"62","author":[{"given":"Giovanna","family":"Corsi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"205532_CR1","doi-asserted-by":"crossref","unstructured":"Bull, R., \u2018That all normal extensions of S4.3 have the finite model property\u2019, Zeitschr. f. math. Logic und Grundlagen d. Math. (1966), 341\u2013344.","DOI":"10.1002\/malq.19660120129"},{"key":"205532_CR2","doi-asserted-by":"crossref","unstructured":"Corsi, G., \u2018The quantified modal logic of positive rational numbers and some related system\u2019, Notre Dame Journal of Formal Logic (1993), 263\u2013283.","DOI":"10.1305\/ndjfl\/1093634657"},{"key":"205532_CR3","doi-asserted-by":"crossref","unstructured":"Fine, K., \u2018An ascending chain of S4 logics\u2019, Theoria (1974), 110\u2013116.","DOI":"10.1111\/j.1755-2567.1974.tb00081.x"},{"key":"205532_CR4","doi-asserted-by":"crossref","unstructured":"Fine, K., \u2018The logics containing S4.3\u2019, Zeitschr. f. math. Logic und Grundlagen d. Math. (1971), 371\u2013376.","DOI":"10.1002\/malq.19710170141"},{"key":"205532_CR5","first-page":"125","volume":"7","author":"K. Fine","year":"1978","unstructured":"Fine, K., \u2018Model theory for modal logic\u2019, Part I, Journal of Philos. Logic 7 (1978), 125\u2013156.","journal-title":"Journal of Philos. Logic"},{"key":"205532_CR6","unstructured":"Goldblatt, R., Logics of time and computation, Center for the Study of Language and Information, Lecture Notes 7, Stanford, 1987."},{"key":"205532_CR7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1002\/malq.19930390136","volume":"39","author":"N. Kracht","year":"1993","unstructured":"Kracht, N., \u2018Prefinitely axiomatizable modal and intermediate logics\u2019, Mathematical Logic Quarterly 39 (1993), 301\u2013322.","journal-title":"Mathematical Logic Quarterly"},{"key":"205532_CR8","first-page":"328","volume":"18","author":"L. Maksimova","year":"1979","unstructured":"Maksimova, L., \u2018A classification of modal logics\u2019, Algebra i Logika 18 (1979), n. 3, 328\u2013340.","journal-title":"Algebra i Logika"},{"key":"205532_CR9","unstructured":"Segerberg, K., \u2018Franzen's proof of Bull's theorem\u2019, Ajatus (1971), 216\u2013221."},{"key":"205532_CR10","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1002\/malq.19950410103","volume":"41","author":"M. Zakharyaschev","year":"1995","unstructured":"Zakharyaschev, M., A. ALEKSEEV, \u2018All finitely axiomatizable normal extensions of K4.3 are decidable\u2019, Mathematical Logic Quarterly 41 (1995), 15\u201323.","journal-title":"Mathematical Logic Quarterly"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026447418461.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026447418461\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026447418461.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:21:51Z","timestamp":1754630511000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026447418461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["205532"],"URL":"https:\/\/doi.org\/10.1023\/a:1026447418461","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}