{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:20:28Z","timestamp":1725524428879},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360381"},{"type":"electronic","value":"9783642360398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36039-8_4","type":"book-chapter","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T08:54:23Z","timestamp":1356080063000},"page":"27-33","source":"Crossref","is-referenced-by-count":0,"title":["A Note on Axiomatisations of Two-Dimensional Modal Logics"],"prefix":"10.1007","author":[{"given":"Agi","family":"Kurucz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic\u00a027, 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"4_CR3","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol.\u00a035. Clarendon Press, Oxford (1997)"},{"key":"4_CR4","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, vol.\u00a0148. Elsevier (2003)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"D. Gabbay","year":"1998","unstructured":"Gabbay, D., Shehtman, V.: Products of modal logics. Part I. Journal of the IGPL\u00a06, 73\u2013146 (1998)","journal-title":"Journal of the IGPL"},{"key":"4_CR6","unstructured":"Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras, Part II. Studies in Logic and the Foundations of Mathematics, vol.\u00a0115. North-Holland (1985)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Henkin, L., Monk, J.D., Tarski, A., Andr\u00e9ka, H., N\u00e9meti, I.: Cylindric Set Algebras. Lecture Notes in Mathematics, vol.\u00a0883. Springer (1981)","DOI":"10.1007\/BFb0095612"},{"key":"4_CR8","first-page":"238","volume":"88","author":"S. Kikot","year":"2010","unstructured":"Kikot, S.: Axiomatization of modal logic squares with distinguished diagonal. Mat. Zametki\u00a088, 238\u2013250 (2010)","journal-title":"Mat. Zametki"},{"key":"4_CR9","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-04222-5_17","volume-title":"Frontiers of Combining Systems","author":"A. Kurucz","year":"2009","unstructured":"Kurucz, A.: Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS (LNAI), vol.\u00a05749, pp. 279\u2013286. Springer, Heidelberg (2009)"},{"key":"4_CR10","unstructured":"Kurucz, A.: On the complexity of modal axiomatisations over many-dimensional structures. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, vol.\u00a08, pp. 256\u2013270. College Publications (2010)"},{"key":"4_CR11","unstructured":"Kurucz, A.: Representable cylindric algebras and many-dimensional modal logics. In: Andr\u00e9ka, H., Ferenczi, M., N\u00e9meti, I. (eds.) Cylindric-like Algebras and Algebraic Logic. Bolyai Society Mathematical Studies. Springer (to appear)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Marx, M., Venema, Y.: Multi-Dimensional Modal Logic. Kluwer Academic Publishers (1997)","DOI":"10.1007\/978-94-011-5694-3"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K. Segerberg","year":"1973","unstructured":"Segerberg, K.: Two-dimensional modal logic. Journal of Philosophical Logic\u00a02, 77\u201396 (1973)","journal-title":"Journal of Philosophical Logic"},{"key":"4_CR14","first-page":"417","volume":"23","author":"V. Shehtman","year":"1978","unstructured":"Shehtman, V.: Two-dimensional modal logics. Mathematical Notices of the USSR Academy of Sciences\u00a023, 417\u2013424 (1978) (Translated from Russian)","journal-title":"Mathematical Notices of the USSR Academy of Sciences"},{"key":"4_CR15","unstructured":"Venema, Y.: Many-Dimensional Modal Logics. PhD thesis, Universiteit van Amsterdam (1991)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36039-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T21:58:01Z","timestamp":1714773481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36039-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360381","9783642360398"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36039-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}