{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:44:50Z","timestamp":1740123890873,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003336","name":"Bulgarian National Science Fund","doi-asserted-by":"publisher","award":["DN02\/15\/19.12.2016"],"award-info":[{"award-number":["DN02\/15\/19.12.2016"]}],"id":[{"id":"10.13039\/501100003336","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1007\/s10472-021-09768-w","type":"journal-article","created":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T14:06:01Z","timestamp":1630505161000},"page":"481-497","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["About the unification type of $\\mathbf {K}+\\square \\square \\bot $"],"prefix":"10.1007","volume":"90","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3569-9160","authenticated-orcid":false,"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c7i\u011fdem","family":"Gencer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maryam","family":"Rostamigiv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tinko","family":"Tinchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,9,1]]},"reference":[{"key":"9768_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Fern\u00e1ndez Gil, O., Rostamigiv, M.: Restricted unification in the description logic $\\mathcal {F}{\\mathcal L}_{0}$. In: 35th International Workshop on Unification, Informal proceedings, pp 8\u201314 (2021)","DOI":"10.1007\/978-3-030-86205-3_5"},{"key":"9768_CR2","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1093\/jigpal\/jzq008","volume":"19","author":"F Baader","year":"2011","unstructured":"Baader, F., Ghilardi, S.: Unification in modal and description logics. Logic Journal of the IGPL 19, 705\u2013730 (2011)","journal-title":"Logic Journal of the IGPL"},{"key":"9768_CR3","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1006\/jsco.2000.0426","volume":"31","author":"F Baader","year":"2001","unstructured":"Baader, F., Narendran, P.: Unification of concept terms in description logics. J. Symb. Comput. 31, 277\u2013305 (2001)","journal-title":"J. Symb. Comput."},{"key":"9768_CR4","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1093\/jigpal\/jzy078","volume":"27","author":"P Balbiani","year":"2019","unstructured":"Balbiani, P.: Remarks about the unification type of several non-symmetric non-transitive modal logics. Logic Journal of the IGPL 27, 639\u2013658 (2019)","journal-title":"Logic Journal of the IGPL"},{"key":"9768_CR5","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1080\/11663081.2018.1428000","volume":"27","author":"P Balbiani","year":"2017","unstructured":"Balbiani, P., Gencer, \u00c7.: KD is nullary. J. Appl. Non-Class. Log. 27, 196\u2013205 (2017)","journal-title":"J. Appl. Non-Class. Log."},{"key":"9768_CR6","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1080\/11663081.2017.1368845","volume":"27","author":"P Balbiani","year":"2017","unstructured":"Balbiani, P., Gencer, \u00c7.: Unification in epistemic logics. J. Appl. Non-Class. Log. 27, 91\u2013105 (2017)","journal-title":"J. Appl. Non-Class. Log."},{"key":"9768_CR7","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1007\/s11225-019-09883-0","volume":"108","author":"P Balbiani","year":"2020","unstructured":"Balbiani, P., Gencer, \u00c7.: About the unification type of modal logics between KB and KTB. Stud. Logica. 108, 941\u2013966 (2020)","journal-title":"Stud. Logica."},{"key":"9768_CR8","unstructured":"Balbiani, P., Gencer, \u00c7., Rostamigiv, M., Tinchev, T.: About the unification types of the modal logics determined by classes of deterministic frames, arXiv:2004.07904v1[cs.LO] (2020)"},{"key":"9768_CR9","unstructured":"Balbiani, P., Tinchev, T.: Unification in modal logic Alt1. In: Advances in Modal Logic, College Publications, pp 117\u2013134 (2016)"},{"key":"9768_CR10","first-page":"301","volume":"5","author":"P Balbiani","year":"2018","unstructured":"Balbiani, P., Tinchev, T.: Elementary unification in modal logic KD45. J. Appl. Logics 5, 301\u2013317 (2018)","journal-title":"J. Appl. Logics"},{"key":"9768_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"9768_CR12","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 University Press, Oxford (1997)"},{"key":"9768_CR13","first-page":"19","volume":"32","author":"W Dzik","year":"2003","unstructured":"Dzik, W.: Unitary unification of S5 modal logics and its extensions. Bull. Sect. Log. 32, 19\u201326 (2003)","journal-title":"Bull. Sect. Log."},{"key":"9768_CR14","unstructured":"Dzik, W.: Unification Types in Logic. Wydawnicto Uniwersytetu Slaskiego (2007)"},{"key":"9768_CR15","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1093\/jigpal\/jzr028","volume":"20","author":"W Dzik","year":"2012","unstructured":"Dzik, W., Wojtylak, P.: Projective unification in modal logic. Logic Journal of the IGPL 20, 121\u2013153 (2012)","journal-title":"Logic Journal of the IGPL"},{"key":"9768_CR16","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 1. Logic Journal of the IGPL 6, 73\u2013146 (1998)","journal-title":"Logic Journal of the IGPL"},{"key":"9768_CR17","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0168-0072(99)00032-9","volume":"102","author":"S Ghilardi","year":"2000","unstructured":"Ghilardi, S.: Best solving modal equations. Ann. Pure Appl. Log. 102, 183\u2013198 (2000)","journal-title":"Ann. Pure Appl. Log."},{"key":"9768_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.apal.2003.11.010","volume":"127","author":"S Ghilardi","year":"2004","unstructured":"Ghilardi, S.: Unification, finite duality and projectivity in varieties of Heyting algebras. Ann. Pure Appl. Log. 127, 99\u2013115 (2004)","journal-title":"Ann. Pure Appl. Log."},{"key":"9768_CR19","doi-asserted-by":"publisher","first-page":"879","DOI":"10.2178\/jsl\/1096901773","volume":"69","author":"S Ghilardi","year":"2004","unstructured":"Ghilardi, S., Sacchetti, L.: Filtering unification and most general unifiers in modal logic. J. Symb. Log. 69, 879\u2013906 (2004)","journal-title":"J. Symb. Log."},{"key":"9768_CR20","doi-asserted-by":"crossref","unstructured":"Goranko, V. , Otto, M.: Model theory of modal logic. In: Handbook of Modal Logic, pp 249\u2013329. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80008-5"},{"key":"9768_CR21","first-page":"233","volume":"57","author":"R Iemhoff","year":"2016","unstructured":"Iemhoff, R.: A syntactic approach to unification in transitive reflexive modal logics. Notre Dame Journal of Formal Logic 57, 233\u2013247 (2016)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9768_CR22","unstructured":"Jer\u0306\u00e1bek, E.: Logics with directed unification. In: Algebra and Coalgebra meet Proof Theory, Workshop at Utrecht University (2013)"},{"key":"9768_CR23","doi-asserted-by":"publisher","first-page":"1231","DOI":"10.1093\/logcom\/ext055","volume":"25","author":"E Jer\u0306\u00e1bek","year":"2015","unstructured":"Jer\u0306\u00e1bek, E.: Blending margins: the modal logic K has nullary unification type. J. Log. Comput. 25, 1231\u20131240 (2015)","journal-title":"J. Log. Comput."},{"key":"9768_CR24","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1093\/jigpal\/jzy013","volume":"26","author":"S Kost","year":"2018","unstructured":"Kost, S.: Projective unification in transitive modal logics. Logic Journal of the IGPL 26, 548\u2013566 (2018)","journal-title":"Logic Journal of the IGPL"},{"key":"9768_CR25","unstructured":"Kracht, M.: Tools and techniques in modal logic. Elsevier (1999)"},{"key":"9768_CR26","unstructured":"Miyazaki, Y.: Normal modal logics containing KTB with some finiteness conditions. In: Advances in Modal Logic, pp 171\u2013190. College Publications (2004)"},{"key":"9768_CR27","doi-asserted-by":"publisher","first-page":"102","DOI":"10.2307\/2273793","volume":"50","author":"M Nagle","year":"1985","unstructured":"Nagle, M., Thomason, S.: The extensions of the modal logic K5. J. Symb. Log. 50, 102\u2013109 (1985)","journal-title":"J. Symb. Log."},{"key":"9768_CR28","unstructured":"Shapirovsky, I., Shehtman, V.: Local tabularity without transitivity. In: Advances in Modal Logic, pp 520\u2013534. College Publications (2016)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-021-09768-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-021-09768-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-021-09768-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T04:31:20Z","timestamp":1699417880000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-021-09768-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,1]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,5]]}},"alternative-id":["9768"],"URL":"https:\/\/doi.org\/10.1007\/s10472-021-09768-w","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2021,9,1]]},"assertion":[{"value":"2 August 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 September 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}