{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,15]],"date-time":"2024-01-15T00:02:33Z","timestamp":1705276953639},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1991,8,1]],"date-time":"1991-08-01T00:00:00Z","timestamp":681004800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1991,8]]},"DOI":"10.1007\/bf00250540","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T10:18:35Z","timestamp":1096971515000},"page":"265-283","source":"Crossref","is-referenced-by-count":1,"title":["Some descending chains of incomplete modal logics"],"prefix":"10.1007","volume":"20","author":[{"given":"Ming","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"167","volume":"7","author":"W. J. Blok","year":"1978","unstructured":"Blok, W. J. On the degree of incomplete modal logics (abstract). Bulletin of the Section of Logic, Polish Academy of Sciences 7, 1978, 167?175.","journal-title":"Bulletin of the Section of Logic, Polish Academy of Sciences"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/2273184","volume":"45","author":"W. J. Blok","year":"1980","unstructured":"Blok, W. J. The lattice of modal logics: an algebraic investigation. The Journal of Symbolic Logic 45, 1980, 221?236.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/BF00649480","volume":"14","author":"G. Boolos","year":"1985","unstructured":"Boolos, G. & Sambin, G. An incomplete system of modal logic. Journal of Philosophical Logic 14, 1985, 351?358.","journal-title":"Journal of Philosophical Logic"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF00250613","volume":"16","author":"M. J. Cresswell","year":"1987","unstructured":"Cresswell, M. J. Magari's theorem via recession frame. Journal of Philosophical Logic 16, 1987, 13?15.","journal-title":"Journal of Philosophical Logic"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/2270978","volume":"34","author":"D. S. Makinson","year":"1969","unstructured":"Makinson, D. S. A normal modal calculus between T and S4 without the finite model propcrty. The Journal of Symbolic Logic 34 1969, 35?38.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR6","unstructured":"Segerberg, K. An Essay in Classical Modal Logic, Uppsala, Filosofiska Studier, 1971."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","volume":"37","author":"S. K. Thomason","year":"1972","unstructured":"Thomason, S. K. Semantic analysis of tense logics. The Journal of Symbolic Logic 37, 1972, 150?158.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1111\/j.1755-2567.1974.tb00077.x","volume":"40","author":"S. K. Thomason","year":"1974","unstructured":"Thomason, S. K. An incompleteness theorem in modal logic. Theoria 40, 1974, 30?34.","journal-title":"Theoria"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1111\/j.1755-2567.1978.tb00830.x","volume":"44","author":"J. F. A. K. Benthem van","year":"1978","unstructured":"van Benthem, J. F. A. K. Two simple incomplete modal logics. Theoria 44, 1978. 25?37.","journal-title":"Theoria"},{"key":"CR10","first-page":"63","volume":"45","author":"J. F. A. K. Benthem van","year":"1980","unstructured":"van Benthem, J. F. A. K. Syntactic aspects of modal incompleteness theorems. Theoria 45, 1980, 63?77.","journal-title":"Theoria"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic, vol. II","author":"J. F. A. K. Benthem van","year":"1984","unstructured":"van Benthem, J. F. A. K. Correspondence theory. In Gabbay, D. M. and Guenthner, F. (eds.), Handbook of Philosophical Logic, vol. II, Reidel, Dordrecht, 1984, 167?247."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00250540.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00250540\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00250540","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,14]],"date-time":"2024-01-14T14:21:40Z","timestamp":1705242100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00250540"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,8]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,8]]}},"alternative-id":["BF00250540"],"URL":"https:\/\/doi.org\/10.1007\/bf00250540","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,8]]}}}