{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:46:39Z","timestamp":1759146399553,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662469057"},{"type":"electronic","value":"9783662469064"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46906-4_4","type":"book-chapter","created":{"date-parts":[[2015,4,30]],"date-time":"2015-04-30T09:59:50Z","timestamp":1430387990000},"page":"44-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Admissibility and Unifiability in Contact Logics"],"prefix":"10.1007","author":[{"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"}]}],"member":"297","published-online":{"date-parts":[[2015,5,1]]},"reference":[{"key":"4_CR1","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 J. IGPL 19, 705\u2013730 (2011)","journal-title":"Logic J. IGPL"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-02348-4_25","volume-title":"Rewriting Techniques and Applications","author":"F Baader","year":"2009","unstructured":"Baader, F., Morawska, B.: Unification in the description logic $${\\cal {EL}}$$. In: Treinen, R. (ed.) RTA 2009. LNCS, vol. 5595, pp. 350\u2013364. Springer, Heidelberg (2009)"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1016\/j.apal.2011.06.004","volume":"162","author":"S Babenyshev","year":"2011","unstructured":"Babenyshev, S., Rybakov, V.: Unification in linear temporal logic $$LTL$$. Ann. Pure Appl. Logic 162, 991\u20131000 (2011)","journal-title":"Ann. Pure Appl. Logic"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1016\/j.jlap.2010.07.012","volume":"79","author":"P Balbiani","year":"2010","unstructured":"Balbiani, P., Tinchev, T.: Boolean logics with relations. J. Logic Algebraic Program. 79, 707\u2013721 (2010)","journal-title":"J. Logic Algebraic Program."},{"key":"4_CR5","first-page":"29","volume":"81","author":"P Balbiani","year":"2007","unstructured":"Balbiani, P., Tinchev, T., Vakarelov, D.: Modal logics for region-based theories of space. Fundamenta Informatic\u00e6 81, 29\u201382 (2007)","journal-title":"Fundamenta Informatic\u00e6"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FUN-2006-742-303","volume":"74","author":"G Dimov","year":"2006","unstructured":"Dimov, G., Vakarelov, D.: Contact algebras and region-based theory of space: a proximity approach \u2013 I. Fundamenta Informatic\u00e6 74, 209\u2013249 (2006)","journal-title":"Fundamenta Informatic\u00e6"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"251","DOI":"10.3233\/FUN-2006-742-304","volume":"74","author":"G Dimov","year":"2006","unstructured":"Dimov, G., Vakarelov, D.: Contact algebras and region-based theory of space: proximity approach \u2013 II. Fundamenta Informatic\u00e6 74, 251\u2013282 (2006)","journal-title":"Fundamenta Informatic\u00e6"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.tcs.2005.06.030","volume":"347","author":"I D\u00fcntsch","year":"2005","unstructured":"D\u00fcntsch, I., Winter, M.: A representation theorem for Boolean contact algebras. Theoret. Comput. Sci. 347, 498\u2013512 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/jigpal\/10.4.401","volume":"10","author":"\u00c7 Gencer","year":"2002","unstructured":"Gencer, \u00c7.: Description of modal logics inheriting admissible rules for $$K4$$. Logic J. IGPL 10, 401\u2013411 (2002)","journal-title":"Logic J. IGPL"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1093\/jigpal\/jzn032","volume":"17","author":"\u00c7 Gencer","year":"2009","unstructured":"Gencer, \u00c7., de Jongh, D.: Unifiability in extensions of $$K4$$. Logic J. IGPL 17, 159\u2013172 (2009)","journal-title":"Logic J. IGPL"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"859","DOI":"10.2307\/2586506","volume":"64","author":"S Ghilardi","year":"1999","unstructured":"Ghilardi, S.: Unification in intuitionistic logic. J. Symbolic Logic 64, 859\u2013880 (1999)","journal-title":"J. Symbolic Logic"},{"key":"4_CR12","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. Logic 102, 183\u2013198 (2000)","journal-title":"Ann. Pure Appl. Logic"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.apal.2008.10.011","volume":"159","author":"R Iemhoff","year":"2009","unstructured":"Iemhoff, R., Metcalfe, G.: Proof theory for admissible rules. Ann. Pure Appl. Logic 159, 171\u2013186 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1093\/logcom\/exp078","volume":"20","author":"E Jer\u00e1bek","year":"2010","unstructured":"Jer\u00e1bek, E.: Admissible rules of \u0141ukasiewicz logic. J. Logic Comput. 20, 425\u2013447 (2010)","journal-title":"J. Logic Comput."},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/BF01982031","volume":"23","author":"V Rybakov","year":"1984","unstructured":"Rybakov, V.: A criterion for admissibility of rules in the model system $$S4$$ and the intuitionistic logic. Algebra Logic 23, 369\u2013384 (1984)","journal-title":"Algebra Logic"},{"key":"4_CR16","volume-title":"Admissibility of Logical Inference Rules","author":"V Rybakov","year":"1997","unstructured":"Rybakov, V.: Admissibility of Logical Inference Rules. Elsevier, Amsterdam (1997)"},{"key":"4_CR17","series-title":"Logics for the XXIst Century","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-0-387-69245-6_6","volume-title":"Mathematical Problems from Applied Logic II","author":"D Vakarelov","year":"2007","unstructured":"Vakarelov, D.: Region-based theory of space: algebras of regions, representation theory, and logics. In: Gabbay, D.M., Zakharyaschev, M., Goncharov, S.S. (eds.) Mathematical Problems from Applied Logic II. Logics for the XXIst Century, pp. 267\u2013348. Springer, New York (2007)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"25:1","DOI":"10.1145\/1380572.1380574","volume":"9","author":"F Wolter","year":"2008","unstructured":"Wolter, F., Zakharyaschev, M.: Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Logic 9, 25:1\u201325:20 (2008)","journal-title":"ACM Trans. Comput. Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46906-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T18:35:34Z","timestamp":1748370934000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-46906-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662469057","9783662469064"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46906-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}