{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:14Z","timestamp":1740108194071,"version":"3.37.3"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T00:00:00Z","timestamp":1714348800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T00:00:00Z","timestamp":1714348800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100006260","name":"Technion - Israel Institute of Technology","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006260","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2024,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>It is shown that both classical and intuitionistic propositional logics of an associative binary modality are undecidable. The proof is based on the deduction theorem for these logics.<\/jats:p>","DOI":"10.1007\/s00153-024-00921-w","type":"journal-article","created":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T07:02:22Z","timestamp":1714374142000},"page":"837-857","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On undecidability of the propositional logic of an associative binary modality"],"prefix":"10.1007","volume":"63","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9848-4191","authenticated-orcid":false,"given":"Michael","family":"Kaminski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,4,29]]},"reference":[{"key":"921_CR1","volume-title":"Modal Logic","author":"P Blackburn","year":"2002","unstructured":"Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2002)"},{"key":"921_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1002\/malq.19920380113","volume":"38","author":"K Do\u0161en","year":"1992","unstructured":"Do\u0161en, K.: A brief survey of frames for the Lambek calculus. Z. Math. Logik Grundlagen Math. 38, 179\u2013187 (1992)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"921_CR3","unstructured":"Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras. Part 2. North Holland Publishing Co., Amsterdam (1985)"},{"key":"921_CR4","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"GE Hughes","year":"1996","unstructured":"Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, New York (1996)"},{"key":"921_CR5","first-page":"79","volume":"54","author":"B J\u00f3nson","year":"1948","unstructured":"J\u00f3nson, B., Tarski, A.: Boolean algebras with operators. Bull. Am. Math. Soc. 54, 79\u201380 (1948)","journal-title":"Bull. Am. Math. Soc."},{"key":"921_CR6","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B J\u00f3nson","year":"1951","unstructured":"J\u00f3nson, B., Tarski, A.: Boolean algebras with operators. Part I. Am. J. Math. 73, 891\u2013939 (1951)","journal-title":"Am. J. Math."},{"key":"921_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B J\u00f3nson","year":"1952","unstructured":"J\u00f3nson, B., Tarski, A.: Boolean algebras with operators. Am. J. Math. 74, 127\u2013162 (1952)","journal-title":"Am. J. Math."},{"key":"921_CR8","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s11225-013-9474-7","volume":"102","author":"M Kaminski","year":"2014","unstructured":"Kaminski, M., Francez, N.: Relational semantics of the Lambek calculus extended with classical propositional logic. Stud. Log. 102, 479\u2013497 (2014)","journal-title":"Stud. Log."},{"key":"921_CR9","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1007\/s11225-016-9665-0","volume":"104","author":"M Kaminski","year":"2016","unstructured":"Kaminski, M., Francez, N.: The Lambek calculus extended with intuitionistic propositional logic. Stud. Log. 104, 1051\u20131082 (2016)","journal-title":"Stud. Log."},{"key":"921_CR10","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1093\/jigpal\/1.1.91","volume":"1","author":"\u00c1 Kurucz","year":"1993","unstructured":"Kurucz, \u00c1., N\u00e9meti, I., Sain, I., Simon, A.: Undecidable varieties of semilattice\u2014ordered semigroups, of Boolean algebras with operators, and logics extending Lambek calculus. Bolletin IGPL 1, 91\u201398 (1993)","journal-title":"Bolletin IGPL"},{"key":"921_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF01049412","volume":"4","author":"\u00c1 Kurucz","year":"1995","unstructured":"Kurucz, \u00c1., N\u00e9meti, I., Sain, I., Simon, A.: Decidable and undecidable logics with a binary modality. J. Log. Lang. Inform. 4, 191\u2013206 (1995)","journal-title":"J. Log. Lang. Inform."},{"key":"921_CR12","unstructured":"Lambek, J.: The mathematics of sentence structure. Am. Math. Mon. 65:154\u2013170 (1958). (Also in Categorial Grammars, Buszkowski, W., Marciszewski, W., van Benthem, J. (eds.) John Benjamins, Amsterdam 1988)"},{"key":"921_CR13","volume-title":"Introduction to Mathematical Logic","author":"E Mendelson","year":"2010","unstructured":"Mendelson, E.: Introduction to Mathematical Logic. Chapman and Hall, London (2010)"},{"key":"921_CR14","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/j.tcs.2005.07.019","volume":"345","author":"A Okhotin","year":"2005","unstructured":"Okhotin, A.: The dual of concatenation. Theoret. Comput. Sci. 345, 425\u2013447 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"921_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2267170","volume":"12","author":"E Post","year":"1947","unstructured":"Post, E.: Recursive unsolvability of a problem of Thue. J. Symb. Log. 12, 1\u201311 (1947)","journal-title":"J. Symb. Log."},{"key":"921_CR16","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1305\/ndjfl\/1093956245","volume":"8","author":"JJ Zeman","year":"1967","unstructured":"Zeman, J.J.: The deduction theorem in S4, S4.2, and S5. Notre Dame J. Formal Log. 8, 56\u201360 (1967)","journal-title":"Notre Dame J. Formal Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00921-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-024-00921-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00921-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T04:03:04Z","timestamp":1726113784000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-024-00921-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,29]]},"references-count":16,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2024,11]]}},"alternative-id":["921"],"URL":"https:\/\/doi.org\/10.1007\/s00153-024-00921-w","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2024,4,29]]},"assertion":[{"value":"22 May 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 March 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 April 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}