{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:27:57Z","timestamp":1775053677364,"version":"3.50.1"},"reference-count":27,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3479,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2004,9]]},"abstract":"<jats:title>Abstract.<\/jats:title><jats:p>We characterize (both from a syntactic and an algebraic point of view) the normal<jats:italic>K<\/jats:italic>4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of<jats:italic>K<\/jats:italic>4.2<jats:sup>+<\/jats:sup>(i.e., of the modal system obtained from<jats:italic>K<\/jats:italic>4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).<\/jats:p>","DOI":"10.2178\/jsl\/1096901773","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T21:45:25Z","timestamp":1109799925000},"page":"879-906","source":"Crossref","is-referenced-by-count":31,"title":["Filtering unification and most general unifiers in modal logic"],"prefix":"10.1017","volume":"69","author":[{"given":"Silvio","family":"Ghilardi","sequence":"first","affiliation":[]},{"given":"Lorenzo","family":"Sacchetti","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200007696_ref027","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(88)90021-8"},{"key":"S0022481200007696_ref023","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005843212881"},{"key":"S0022481200007696_ref021","volume-title":"Categories for the working mathematician","author":"MacLane","year":"1971"},{"key":"S0022481200007696_ref018","first-page":"21","volume-title":"Reports on Mathematical Logic","volume":"7","author":"Goldblatt","year":"1976"},{"key":"S0022481200007696_ref016","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.010"},{"key":"S0022481200007696_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9936-8"},{"key":"S0022481200007696_ref010","first-page":"619","volume":"31","author":"Fine","year":"1985","journal-title":"Logics containing K4. Part II"},{"key":"S0022481200007696_ref009","first-page":"31","volume":"31","author":"Fine","year":"1974","journal-title":"Logics containing K4. Part I"},{"key":"S0022481200007696_ref008","volume-title":"Introduction to lattices and order","author":"Davey","year":"1990"},{"key":"S0022481200007696_ref006","volume-title":"Handbook of categorical algebra","volume":"3","author":"Borceux","year":"1994"},{"key":"S0022481200007696_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/BF01195536"},{"key":"S0022481200007696_ref002","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0426"},{"key":"S0022481200007696_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(89)80055-0"},{"key":"S0022481200007696_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1134-1"},{"key":"S0022481200007696_ref005","volume-title":"Distributive lattices","author":"Balbes","year":"1974"},{"key":"S0022481200007696_ref026","volume-title":"An algebraic approach to non-classical logics","author":"Rasiowa","year":"1974"},{"key":"S0022481200007696_ref017","first-page":"41","article-title":"Metamathematics of modal logic","volume":"6","author":"Goldblatt","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"S0022481200007696_ref011","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/7.6.733"},{"key":"S0022481200007696_ref024","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50009-6"},{"key":"S0022481200007696_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(99)00032-9"},{"key":"S0022481200007696_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50010-2"},{"key":"S0022481200007696_ref007","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal logic","author":"Chagrov","year":"1997"},{"key":"S0022481200007696_ref012","first-page":"859","volume":"64","author":"Ghilardi","year":"1999","journal-title":"Unification in intuitionistic logic"},{"key":"S0022481200007696_ref014","first-page":"229","article-title":"A resolution\/tableaux algorithm for projective approximations in IPC","volume":"10","author":"Ghilardi","year":"2002","journal-title":"Logic Journal of the IGPL. Interest Group in Pure and Applied Logics"},{"key":"S0022481200007696_ref025","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52885-7_118"},{"key":"S0022481200007696_ref022","doi-asserted-by":"publisher","DOI":"10.1007\/BF01674424"},{"key":"S0022481200007696_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45220-1_22"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200007696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T22:46:04Z","timestamp":1706049964000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200007696\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,9]]}},"alternative-id":["S0022481200007696"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1096901773","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,9]]}}}