{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:46Z","timestamp":1755220906769,"version":"3.43.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"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":[[2001,2]]},"DOI":"10.1023\/a:1010573427578","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T12:42:08Z","timestamp":1040647328000},"page":"61-73","source":"Crossref","is-referenced-by-count":3,"title":["Model Existence in Non-Compact Modal Logic"],"prefix":"10.1007","volume":"67","author":[{"given":"Yoshihito","family":"Tanaka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"350853_CR1","doi-asserted-by":"crossref","unstructured":"Chagrov, A.V., and M.V. Zakharyaschev, Modal Logic, Oxford University Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"350853_CR2","unstructured":"Dickmann, M. A., Large Infinitary Languages, North-Holland, 1975."},{"key":"350853_CR3","doi-asserted-by":"crossref","unstructured":"Dickmann, M.A., 'Larger infinitary languages', in J. Barwise and S. Feferman, editors, Model-Theoretic Logic, pages 317-364, Springer-Verlag, 1985.","DOI":"10.1017\/9781316717158.014"},{"key":"350853_CR4","doi-asserted-by":"crossref","unstructured":"Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning About Knowledge, The MIT Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"350853_CR5","unstructured":"Goldblatt, R., Mathematics of Modality, volume 43 of CSLI Lecture Notes, CSLI Publications, 1993."},{"key":"350853_CR6","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2307\/2270260","volume":"36","author":"S. G\u00d3rnemann","year":"1971","unstructured":"G\u00d3rnemann, S., 'A logic stronger than intuitionism', Journal of Symbolic Logic 36:249-261, 1971.","journal-title":"Journal of Symbolic Logic"},{"key":"350853_CR7","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.H. Halpern","year":"1992","unstructured":"Halpern, J.H., and Y. Moses, 'A guide to completeness and complexity for modal logics of knowledge and beliefs', Artificial Intelligence 54:319-379, 1992.","journal-title":"Artificial Intelligence"},{"key":"350853_CR8","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00d3nsson","year":"1951","unstructured":"J\u00d3nsson, B., and A. Tarski, 'Boolean algebras with operators I', American Journal of Mathematics 73:891-931, 1951.","journal-title":"American Journal of Mathematics"},{"key":"350853_CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00d3nsson","year":"1952","unstructured":"J\u00d3nsson, B., and A. Tarski, 'Boolean algebras with operators II', American Journal of Mathematics 74:127-162, 1952.","journal-title":"American Journal of Mathematics"},{"key":"350853_CR10","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00370838","volume":"57","author":"M. Kaneko","year":"1996","unstructured":"Kaneko, M., and T. Nagashima, 'Game logic and its applications I', Studia Logica 57:325-354, 1996.","journal-title":"Studia Logica"},{"key":"350853_CR11","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1023\/A:1004975724824","volume":"58","author":"M. Kaneko","year":"1997","unstructured":"Kaneko, M., and T. Nagashima, 'Game logic and its applications II', Studia Logica 58:273-303, 1997.","journal-title":"Studia Logica"},{"key":"350853_CR12","unstructured":"Karp, C., Languages with Expressions of Infinite Length, North-Holland, 1964."},{"key":"350853_CR13","doi-asserted-by":"crossref","first-page":"253","DOI":"10.4064\/fm-57-3-253-272","volume":"57","author":"E.G.K. L\u00d3pez-Escobar","year":"1965","unstructured":"L\u00d3pez-Escobar, E.G.K., 'An interpolation theorem for denumerably long formulas', Fundamenta Mathematic\u00e6 57:253-272, 1965.","journal-title":"Fundamenta Mathematic\u00e6"},{"key":"350853_CR14","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0003-4843(78)90015-3","volume":"14","author":"M.E. Nadel","year":"1978","unstructured":"Nadel, M.E., 'Infinitary intuitionistic logic from a classical point of view', Annals of Mathematical Logic 14:159-191, 1978.","journal-title":"Annals of Mathematical Logic"},{"key":"350853_CR15","doi-asserted-by":"crossref","first-page":"193","DOI":"10.4064\/fm-37-1-193-200","volume":"37","author":"H. Rasiowa","year":"1950","unstructured":"Rasiowa, H., and R. Sikorski, 'A proof of the completeness theorem of G\u00f6del', Fundamenta Mathematic\u00e6 37:193-200, 1950.","journal-title":"Fundamenta Mathematic\u00e6"},{"key":"350853_CR16","unstructured":"Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, PWN-Polish Scientific Publishers, 1963."},{"key":"350853_CR17","unstructured":"Rauszer, C., and B. Sabalski, 'Remarks on distributive pseudo-Boolean algebra', Bulletin De L'academie Polonaise des Sciences Serie des sciences math., astr., et phys. 23 (2), 1975."},{"key":"350853_CR18","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF01048686","volume":"23","author":"K. Segerberg","year":"1994","unstructured":"Segerberg, K., 'A model existence theorem in infinitary propositional modal logic', Journal of Philosophical Logic 23:337-367, 1994.","journal-title":"Journal of Philosophical Logic"},{"key":"350853_CR19","doi-asserted-by":"crossref","unstructured":"Tanaka, Y., Representations of Algebras and Kripke Completeness of Infinitary and Predicate Logics, PhD thesis, Japan Advanced Institute of Science and Technology, 1999.","DOI":"10.1305\/ndjfl\/1022615613"},{"key":"350853_CR20","doi-asserted-by":"crossref","unstructured":"Tanaka, Y., 'Kripke completeness of infinitary predicate multi-modal logics', to appear in Notre Dame Journal of Formal Logic (accepted in 2000).","DOI":"10.1305\/ndjfl\/1022615613"},{"key":"350853_CR21","unstructured":"Tanaka Y., and H. Oon, 'The Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics', in M. Zakharyaschev, K. Segerberg, M. de Rijke (eds), Advances in Modal Logic, volume 2, pages 419-437, CSLI Publication, 2000."},{"key":"350853_CR22","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1023\/A:1005271815356","volume":"65","author":"F. Wolter","year":"2000","unstructured":"Wolter, F., 'First order common knowledge logics', Studia Logica 65 (2000), 249-271.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010573427578.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010573427578\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010573427578.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:12:28Z","timestamp":1754629948000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010573427578"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,2]]}},"alternative-id":["350853"],"URL":"https:\/\/doi.org\/10.1023\/a:1010573427578","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}