{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:39:09Z","timestamp":1767141549396,"version":"build-2238731810"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T00:00:00Z","timestamp":1547683200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1007\/s11225-018-09842-1","type":"journal-article","created":{"date-parts":[[2019,1,16]],"date-time":"2019-01-16T22:06:47Z","timestamp":1547676407000},"page":"221-237","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Complexity of the Universal Theory of Modal Algebras"],"prefix":"10.1007","volume":"108","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0559-1503","authenticated-orcid":false,"given":"Dmitry","family":"Shkatov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clint J.","family":"Van Alten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,17]]},"reference":[{"key":"9842_CR1","doi-asserted-by":"crossref","unstructured":"Avron, A., The method of hypersequents in the proof theory of propositional non-classical logics, in W. Hodges, M. Hyland, C. Steinhorn, and J. Truss, (eds.), Logic: From Foundations to Applications, Clarendon Press, 1996, pp. 1\u201332.","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"issue":"1","key":"9842_CR2","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1017\/jsl.2015.54","volume":"81","author":"G Bezhanishvili","year":"2016","unstructured":"Bezhanishvili, G., N. Bezhanishvili, and R. Iemhoff, Stable canonical rules. Journal of Symbolic Logic 81(1):284\u2013315, 2016.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9842_CR3","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1017\/S1755020317000375","volume":"11","author":"G Bezhanishvili","year":"2018","unstructured":"Bezhanishvili, G., N. Bezhanishvili, and J. Ilin, Stable modal logics. Review of Symbolic Logic 11(3):436\u2013469, 2018.","journal-title":"Review of Symbolic Logic"},{"key":"9842_CR4","unstructured":"Blackburn, P., M. DeRijke, and Y. Venema, Modal Logic, vol\u00a053 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001."},{"key":"9842_CR5","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01050635","volume":"2","author":"P Blackburn","year":"1993","unstructured":"Blackburn, P., and E. Spaan, A modal perspective on the computational complexity of attribute value grammar. Journal of Logic, Language, and Information 2:129\u2013169, 1993.","journal-title":"Journal of Logic, Language, and Information"},{"key":"9842_CR6","doi-asserted-by":"crossref","unstructured":"Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra. Graduate Texts in Mathematics. Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"9842_CR7","doi-asserted-by":"crossref","unstructured":"Chen C.-C., and I.-P. Lin, The complexity of propositional modal theories and the complexity of consistency of propositional modal theories, in A. Nerode and Y. V. Matiyasevich, (eds.), Logical Foundations of Computer Science, vol. 813 of Lecture Notes in Computer Science, Springer, 1994, pp. 69\u201380.","DOI":"10.1007\/3-540-58140-5_8"},{"key":"9842_CR8","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/0022-0000(86)90036-X","volume":"32","author":"BS Chlebus","year":"1986","unstructured":"Chlebus, B. S., Domino-tiling games. Journal of Computer and System Sciences 32:374\u2013392, 1986.","journal-title":"Journal of Computer and System Sciences"},{"key":"9842_CR9","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1112\/jlms\/s2-1.1.399","volume":"1","author":"T Evans","year":"1969","unstructured":"Evans, T., Some connections between residual finiteness, finite embeddability and the word problem. Journal of the London Mathematical Society 1:399\u2013403, 1969.","journal-title":"Journal of the London Mathematical Society"},{"key":"9842_CR10","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer, M. J., and R. E. Ladner, Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18:194\u2013211, 1979.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"9842_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V Goranko","year":"1992","unstructured":"Goranko, V., and S. Passy, Using the universal modality: Gains and questions. Journal of Logic and Computation 2(1):5\u201330, 1992.","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"9842_CR12","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1007\/s10992-015-9354-x","volume":"44","author":"R. Iemhoff","year":"2015","unstructured":"Iemhoff, R., On rules. Journal of Philosophical Logic 44(6):697\u2013711, 2015.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9842_CR13","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10992-015-9380-8","volume":"45","author":"R. Iemhoff","year":"2016","unstructured":"Iemhoff, R., Consequence relations and admissible rules. Journal of Philosophical Logic 45(3):327\u2013348, 2016.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9842_CR14","doi-asserted-by":"publisher","first-page":"1171","DOI":"10.2178\/jsl\/1254748686","volume":"74","author":"E. Je\u0159\u00e1bek","year":"2009","unstructured":"Je\u0159\u00e1bek, E., Canonical rules. Journal of Symbolic Logic 74(4):1171\u20131205, 2009.","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"9842_CR15","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1305\/ndjfl\/1012429722","volume":"40","author":"M. Kracht","year":"1999","unstructured":"Kracht, M., Review of [22]. Notre Dame Journal Formal Logic 40(4):578\u2013587, 1999.","journal-title":"Notre Dame Journal Formal Logic"},{"key":"9842_CR16","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"RE Ladner","year":"1977","unstructured":"Ladner, R. E., The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing 6:467\u2013480, 1977.","journal-title":"SIAM Journal on Computing"},{"key":"9842_CR17","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.tcs.2016.10.004","volume":"656","author":"B Lellmann","year":"2016","unstructured":"Lellmann, B., Hypersequent rules with restricted contexts for propositional modal logics. Theoretical Computer Science 656:76\u2013105, 2016.","journal-title":"Theoretical Computer Science"},{"key":"9842_CR18","doi-asserted-by":"crossref","unstructured":"Marx, M., Complexity of modal logic, in P. Blackburn, J. Van Benthem, and F. Wolter, (eds.), Handbook of Modal Logic, vol.\u00a03 of Studies in Logic and Practical Reasoning, Elsevier, 2007.","DOI":"10.1016\/S1570-2464(07)80006-1"},{"key":"9842_CR19","doi-asserted-by":"publisher","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"JCC Mckinsey","year":"1946","unstructured":"McKinsey, J. C. C., and A. Tarski, On closed elements in closure algebras. Annals of Mathematics 47:122\u2013162, 1946.","journal-title":"Annals of Mathematics"},{"key":"9842_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67149-9","volume-title":"Neighborhood Semantics for Modal Logic","author":"E Pacuit","year":"2017","unstructured":"Pacuit, E., Neighborhood Semantics for Modal Logic. Short Textbooks in Logic. Springer, 2017."},{"issue":"5","key":"9842_CR21","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1093\/jigpal\/jzy014","volume":"26","author":"M Rybakov","year":"2018","unstructured":"Rybakov, M., and D. Shkatov, Complexity and expressivity of propositional dynamic logics with finitely many variables. Logic Journal of the IGPL 26(5):539\u2013547, 2018.","journal-title":"Logic Journal of the IGPL"},{"key":"9842_CR22","unstructured":"Rybakov, V. V., Admissibility of Logical Inference Rules, vol. 136 of Studies in Logic and the Foundations of Mathematics, Elsevier, 1997."},{"key":"9842_CR23","unstructured":"Shkatov, D., and C. J. Van Alten, Complexity of the universal theory of distributive lattice-ordered residuated groupoids. Submitted."},{"key":"9842_CR24","unstructured":"Spaan, E., Complexity of Modal Logics. PhD thesis, Universiteit van Amsterdam, 1993."},{"key":"9842_CR25","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.tcs.2013.05.012","volume":"501","author":"CJ Alten Van","year":"2013","unstructured":"Van Alten, C. J., Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras. Theoretical Computer Science 501:82\u201392, 2013.","journal-title":"Theoretical Computer Science"},{"key":"9842_CR26","unstructured":"Vardi, M., On the complexity of epistemic reasoning, in Proceedings of Fourth Annual Symposium on Logic in Computer Science, IEEE, 1989, pp. 243\u2013252."},{"key":"9842_CR27","doi-asserted-by":"crossref","unstructured":"Venema, Y., Algebras and coalgebras, in P. Blackburn, J. Van Benthem, and F. Wolter, (eds.), Handbook of Modal Logic, vol.\u00a03 of Studies in Logic and Practical Reasoning, Elsevier, 2007, pp. 331\u2013426.","DOI":"10.1016\/S1570-2464(07)80009-7"}],"updated-by":[{"DOI":"10.1007\/s11225-019-09853-6","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2019,2,27]],"date-time":"2019-02-27T00:00:00Z","timestamp":1551225600000}}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-09842-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-09842-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-09842-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T00:29:16Z","timestamp":1720916956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-09842-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,17]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["9842"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-09842-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,17]]},"assertion":[{"value":"13 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 January 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 February 2019","order":3,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":4,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"In the original publication of the article, the authors name were abbreviated as \u201cD. Shkatov\u201d and \u201cC. J. Van Alten\u201d. However it should be \u201cDmitry Shkatov\u201d and \u201cClint J. Van Alten\u201d. The original article has been corrected.","order":5,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}