{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:31:34Z","timestamp":1740123094207,"version":"3.37.3"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T00:00:00Z","timestamp":1704758400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T00:00:00Z","timestamp":1704758400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1007\/s11225-023-10090-1","type":"journal-article","created":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T09:02:09Z","timestamp":1704790929000},"page":"1163-1180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An $$\\omega $$-Rule for the Logic of Provability and Its Models"],"prefix":"10.1007","volume":"112","author":[{"given":"Katsumi","family":"Sasaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6627-5707","authenticated-orcid":false,"given":"Yoshihito","family":"Tanaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,9]]},"reference":[{"key":"10090_CR1","volume-title":"and Y","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge, third edition, 2001.","edition":"3"},{"key":"10090_CR2","volume-title":"The Logic of Provability","author":"G Boolos","year":"1993","unstructured":"Boolos, G., The Logic of Provability, Cambridge University Press, 1993."},{"key":"10090_CR3","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1997."},{"key":"10090_CR4","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"1990","unstructured":"Davey, B.\u00a0A., and H.\u00a0A. Priestley, Introduction to Lattices and Order, Cambridge University Press, 1990."},{"key":"10090_CR5","doi-asserted-by":"crossref","unstructured":"Hughes, G.\u00a0E., and M.\u00a0J. Cresswell, A New Introduction to Modal Logic, Routledge, 1996.","DOI":"10.4324\/9780203290644"},{"key":"10090_CR6","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., and A. Tarski, Boolean algebras with operators I, American Journal of Mathematics, 73:891\u2013931, 1951.","journal-title":"American Journal of Mathematics"},{"key":"10090_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B., and A. Tarski, Boolean algebras with operators II, American Journal of Mathematics, 74:127\u2013162, 1952.","journal-title":"American Journal of Mathematics"},{"key":"10090_CR8","unstructured":"Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, PWN-Polish Scientific Publishers, 1963."},{"key":"10090_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1010573427578","volume":"67","author":"Y Tanaka","year":"2001","unstructured":"Tanaka, Y., Model existence in non-compact modal logic, Studia Logica, 67:61\u201373, 2001.","journal-title":"Studia Logica"},{"key":"10090_CR10","first-page":"97","volume":"53","author":"Y Tanaka","year":"2018","unstructured":"Tanaka, Y., A cut-free proof system for a predicate extension of the logic of provability, Reports on Mathematical Logic, 53:97\u2013109, 2018.","journal-title":"Reports on Mathematical Logic"},{"key":"10090_CR11","unstructured":"Tanaka, Y., and H. Ono, The Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics, in M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, (eds.), Advances in Modal Logic, Vol. 2, CSLI Publication, 2000, pp. 419\u2013437."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10090-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-023-10090-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10090-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T08:23:04Z","timestamp":1729930984000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-023-10090-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,9]]},"references-count":11,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["10090"],"URL":"https:\/\/doi.org\/10.1007\/s11225-023-10090-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,1,9]]},"assertion":[{"value":"23 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 January 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}