{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T00:55:03Z","timestamp":1648601703703},"reference-count":31,"publisher":"Oxford University Press (OUP)","license":[{"start":{"date-parts":[[2019,1,3]],"date-time":"2019-01-03T00:00:00Z","timestamp":1546473600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1093\/jigpal\/jzy077","type":"journal-article","created":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T22:55:19Z","timestamp":1544741719000},"source":"Crossref","is-referenced-by-count":0,"title":["Unification in first-order transitive modal logic"],"prefix":"10.1093","author":[{"given":"Wojciech","family":"Dzik","sequence":"first","affiliation":[{"name":"Institute of Mathematics, Silesian University, Bankowa, Katowice, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Wojtylak","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Opole University, Oleska, Opole, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2019,1,3]]},"reference":[{"key":"key\n\t\t\t\t2019012510054201400_ref1","doi-asserted-by":"crossref","first-page":"935","DOI":"10.2307\/2274147","article-title":"On modal systems having arithmetical interpretations","volume":"49","author":"Avron","year":"1984","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t2019012510054201400_ref2","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1093\/jigpal\/jzq008","article-title":"Unification in modal and description logics","volume":"19","author":"Baader","year":"2011","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t2019012510054201400_ref3","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1016\/S1570-2464(07)80012-7","article-title":"First-order modal logic","volume-title":"Handbook of Modal Logic","author":"Bra\u00fcner","year":"2007"},{"key":"key\n\t\t\t\t2019012510054201400_ref4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-009-6259-0_1","article-title":"Basic modal logic","volume-title":"Handbook of Philosophical Logic","author":"Bull","year":"1984"},{"key":"key\n\t\t\t\t2019012510054201400_ref5","volume-title":"Introduction to Mathematical Logic I","author":"Church","year":"1996"},{"key":"key\n\t\t\t\t2019012510054201400_ref6","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1017\/CBO9780511983474.012","article-title":"Semantical aspects of quantified modal logic","volume-title":"Knowledge, Belief, and Strategic Interaction","author":"Corsi","year":"1992"},{"key":"key\n\t\t\t\t2019012510054201400_ref7","first-page":"19","article-title":"On structural completeness of some nonclassical predicate calculi","volume":"5","author":"Dzik","year":"1975","journal-title":"Reports on Mathematical Logic"},{"key":"key\n\t\t\t\t2019012510054201400_ref8","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/jigpal\/jzr028","article-title":"Projective unification in modal logic","volume":"20","author":"Dzik","year":"2012","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t2019012510054201400_ref9","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1215\/00294527-3636512","article-title":"Modal consequence relations extending S4.3","volume":"57","author":"Dzik","year":"2016","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"key\n\t\t\t\t2019012510054201400_ref10","doi-asserted-by":"crossref","DOI":"10.1017\/S1755020318000011","article-title":"Unification in superintuitionistic predicate logics and its applications","volume-title":"Review of Symbolic Logic","author":"Dzik"},{"key":"key\n\t\t\t\t2019012510054201400_ref11","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1080\/11663081.1999.10510970","article-title":"Barcan both ways","volume":"9","author":"Fitting","year":"1999","journal-title":"Journal of Applied Non-Classical Logics: Issue in Memory of George Gargov"},{"key":"key\n\t\t\t\t2019012510054201400_ref12","article-title":"Quantification in nonclassical logic I.","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"Gabbay","year":"2009"},{"key":"key\n\t\t\t\t2019012510054201400_ref13","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1093\/jigpal\/jzn032","article-title":"Unifiability in extensions of K4","volume":"17","author":"Gencer","year":"2009","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t2019012510054201400_ref14","first-page":"733","article-title":"Unification through projectivity","volume":"7","author":"Ghilardi","year":"1997","journal-title":"Journal of Symbolic Computation"},{"key":"key\n\t\t\t\t2019012510054201400_ref15","doi-asserted-by":"crossref","first-page":"859","DOI":"10.2307\/2586506","article-title":"Unification in intuitionistic logic","volume":"64","author":"Ghilardi","year":"1999","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t2019012510054201400_ref16","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0168-0072(99)00032-9","article-title":"Best solving modal equations","volume":"102","author":"Ghilardi","year":"2000","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t2019012510054201400_ref17","doi-asserted-by":"crossref","first-page":"879","DOI":"10.2178\/jsl\/1096901773","article-title":"Filtering unification and most general unifiers in modal logic","volume":"69","author":"Ghilardi","year":"2004","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t2019012510054201400_ref18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511862359","volume-title":"Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics","author":"Goldblatt","year":"2011"},{"key":"key\n\t\t\t\t2019012510054201400_ref19","first-page":"17","article-title":"Ultraproducts of admissible models for quantified modal logic","volume-title":"Structural Analysis of Non-classical Logics","author":"Goldblatt","year":"2015"},{"key":"key\n\t\t\t\t2019012510054201400_ref20","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1093\/jigpal\/jzy013","article-title":"Projective unification in transitive modal logics","volume":"26","author":"Kost","year":"2018","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t2019012510054201400_ref21","first-page":"199","article-title":"Disjunction and existence properties in intermediate predicate logics","volume-title":"Proceedings of the Meeting \u201cLogica e Filosofia della Scienza, oggi\u201d","author":"Minari","year":"1983"},{"key":"key\n\t\t\t\t2019012510054201400_ref22","first-page":"21","article-title":"The property (HD) in intuitionistic logic. A partial solution of a problem of H. Ono","volume":"22","author":"Minari","year":"1988","journal-title":"Reports on Mathematical Logic"},{"key":"key\n\t\t\t\t2019012510054201400_ref23","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1093\/jigpal\/6.5.775","article-title":"Extended disjunction and existence properties for some predicate modal logics","volume":"6","author":"Pliuskeviciene","year":"1998","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t2019012510054201400_ref24","first-page":"349","article-title":"Structural completeness of the propositional calculus","author":"Pogorzelski","year":"1971","journal-title":"Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences, s\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques"},{"key":"key\n\t\t\t\t2019012510054201400_ref25","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1002\/malq.19750210138","article-title":"Structural completeness of the first-order predicate calculus","volume":"21","author":"Pogorzelski","year":"1975","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"key\n\t\t\t\t2019012510054201400_ref26","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/BF00248735","article-title":"The deducibilities of S5","volume":"10","author":"Porte","year":"1981","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t2019012510054201400_ref27","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF00405383","article-title":"On two problems of Harvey Friedman","volume":"38","author":"Prucnal","year":"1979","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t2019012510054201400_ref28","volume-title":"The Mathematics of Metamathematics","author":"Rasiowa","year":"1963"},{"key":"key\n\t\t\t\t2019012510054201400_ref29","first-page":"145","article-title":"An essay on unification and inference rules for modal logic","volume":"28","author":"Rybakov","year":"1999","journal-title":"Bulletin of the Section of Logic"},{"key":"key\n\t\t\t\t2019012510054201400_ref30","doi-asserted-by":"crossref","first-page":"93","DOI":"10.18778\/0138-0680.46.1.2.08","article-title":"Some weak variants of the existence and disjunction properties in intermediate predicate logics","volume":"46","author":"Suzuki","year":"2017","journal-title":"Bulletin of the Section of Logic"},{"key":"key\n\t\t\t\t2019012510054201400_ref31","first-page":"287","article-title":"Frame correspondences in modal predicate logic","volume-title":"Proofs, Categories and Computations: Essays in Honor of Grigori Mints","author":"van Benthem","year":"2014"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/advance-article-pdf\/doi\/10.1093\/jigpal\/jzy077\/27411063\/jzy077.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:41:10Z","timestamp":1605627670000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/advance-article\/doi\/10.1093\/jigpal\/jzy077\/5253790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,3]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzy077","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,3]]}}}