{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T06:02:44Z","timestamp":1790834564353,"version":"4.1.0"},"reference-count":21,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1093\/logcom\/ext055","type":"journal-article","created":{"date-parts":[[2013,11,8]],"date-time":"2013-11-08T01:45:17Z","timestamp":1383875117000},"page":"1231-1240","source":"Crossref","is-referenced-by-count":23,"title":["Blending margins: the modal logic K has nullary unification type"],"prefix":"10.1093","volume":"25","author":[{"given":"Emil","family":"Je\u0159\u00e1bek","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2013,11,6]]},"reference":[{"key":"2015092802073453000_25.5.1231.1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzq008"},{"key":"2015092802073453000_25.5.1231.2","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03003-9"},{"key":"2015092802073453000_25.5.1231.3","doi-asserted-by":"crossref","unstructured":"Baader F. Morawska B. Logical Methods in Computer Science. Vol. 6.(no. 3) 2010. Unification in the description logic EL . Paper 17.","DOI":"10.2168\/LMCS-6(3:17)2010"},{"key":"2015092802073453000_25.5.1231.4","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0426"},{"key":"2015092802073453000_25.5.1231.5","doi-asserted-by":"crossref","unstructured":"Baader F. Snyder W. Unification theory. In: Robinson A. Voronkov A. , editors. Handbook of Automated Reasoning. vol. I. Elsevier; 2001. p. 445-533.","DOI":"10.1016\/B978-044450813-3\/50010-2"},{"key":"2015092802073453000_25.5.1231.6","doi-asserted-by":"crossref","unstructured":"Blackburn P. de Rijke M. Venema Y. Cambridge Tracts in Theoretical Computer Science. vol. 53. Cambridge University Press; 2001. Modal logic.","DOI":"10.1017\/CBO9781107050884"},{"key":"2015092802073453000_25.5.1231.7","doi-asserted-by":"crossref","unstructured":"Cabrer L. M. Simplicial geometry of unital lattice-ordered abelian groups. Forum Mathe-maticum 2013. in press.","DOI":"10.1515\/forum-2011-0131"},{"key":"2015092802073453000_25.5.1231.8","doi-asserted-by":"crossref","unstructured":"Chagrov A. V. Zakharyaschev M. Oxford Logic Guides. vol. 35. Oxford University Press; 1997. Modal logic.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"2015092802073453000_25.5.1231.9","unstructured":"Dzik W. Transparent unifiers in modal logics with self-conjugate operators. Bulletin of the Section of Logic 2006;35:73-83."},{"key":"2015092802073453000_25.5.1231.10","doi-asserted-by":"publisher","DOI":"10.2307\/2586506"},{"key":"2015092802073453000_25.5.1231.11","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(99)00032-9"},{"key":"2015092802073453000_25.5.1231.12","doi-asserted-by":"publisher","DOI":"10.2307\/2694922"},{"key":"2015092802073453000_25.5.1231.13","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi029"},{"key":"2015092802073453000_25.5.1231.14","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp082"},{"key":"2015092802073453000_25.5.1231.15","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70122-3"},{"key":"2015092802073453000_25.5.1231.16","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2012.10.001"},{"key":"2015092802073453000_25.5.1231.17","unstructured":"Rybakov V. V. Studies in Logic and the Foundations of Mathematics. vol. 136. Elsevier; 1997. Admissibility of logical inference rules."},{"key":"2015092802073453000_25.5.1231.18","doi-asserted-by":"crossref","unstructured":"Williamson T. An alternative rule of disjunction in modal logic. Notre Dame Journal of Formal Logic 1992;33:89-100.","DOI":"10.1305\/ndjfl\/1093636011"},{"key":"2015092802073453000_25.5.1231.19","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093634728"},{"key":"2015092802073453000_25.5.1231.20","doi-asserted-by":"publisher","DOI":"10.1007\/BF01417959"},{"key":"2015092802073453000_25.5.1231.21","doi-asserted-by":"crossref","unstructured":"Wolter F. Zakharyaschev M. Undecidability of the unification and admissibility problems for modal and description logics. ACM Transactions on Computational Logic 2008;9(no. 4). Article 25.","DOI":"10.1145\/1380572.1380574"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/5\/1231\/5279020\/ext055.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,19]],"date-time":"2024-05-19T08:35:17Z","timestamp":1716107717000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/ext055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,6]]},"references-count":21,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2015,9,28]]},"published-print":{"date-parts":[[2015,10]]}},"alternative-id":["10.1093\/logcom\/ext055"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/ext055","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,6]]}}}