{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T14:57:01Z","timestamp":1648997821634},"reference-count":31,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1093\/jigpal\/jzv024","type":"journal-article","created":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T21:28:29Z","timestamp":1433194109000},"page":"640-661","source":"Crossref","is-referenced-by-count":1,"title":["Almost structurally complete infinitary consequence operations extending S4.3"],"prefix":"10.1093","volume":"23","author":[{"given":"Wojciech","family":"Dzik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Wojtylak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,5,31]]},"reference":[{"key":"2015071523052946000_23.4.640.1","doi-asserted-by":"crossref","unstructured":"Baader F. Snyder W. Unification theory. In: Robinson A. Voronkov A. , editors. Handbook of Automated Reasoning. Elsevier Science Publ., MIT; 2001. p. 445-533.","DOI":"10.1016\/B978-044450813-3\/50010-2"},{"key":"2015071523052946000_23.4.640.2","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzq008"},{"key":"2015071523052946000_23.4.640.3","doi-asserted-by":"crossref","unstructured":"Blackburn P. de Rijke M. Venema Y. Modal Logic. Cambridge University Press; 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"2015071523052946000_23.4.640.4","doi-asserted-by":"crossref","unstructured":"Bull R. Segerberg K. Basic modal logic. In: Gabbay D.M. Guenthner F. , editors. Handbook of Philosophical Logic. Vol. 1. Dordrecht: Reidel; 1984. p. 1-89.","DOI":"10.1007\/978-94-009-6259-0_1"},{"key":"2015071523052946000_23.4.640.5","unstructured":"Dzik W. Splittings of lattices of theories and unification types. Contributions to General Algebra 2006;17:73-84."},{"key":"2015071523052946000_23.4.640.6","unstructured":"Dzik W. Unification Types in Logic. Silesian University Press; 2007."},{"key":"2015071523052946000_23.4.640.7","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzr028"},{"key":"2015071523052946000_23.4.640.8","unstructured":"Dzik W. Wojtylak P. Modal consequence relations extendingS4.3. An application of projective unification. Notre Dame Journal of Formal Logic. (to appear)."},{"key":"2015071523052946000_23.4.640.9","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19710170141"},{"key":"2015071523052946000_23.4.640.10","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzn032"},{"key":"2015071523052946000_23.4.640.11","doi-asserted-by":"crossref","unstructured":"Ghilardi S. Unification through projectivity. Journal of Symbolic Computation 1997;7:733-752.","DOI":"10.1093\/logcom\/7.6.733"},{"key":"2015071523052946000_23.4.640.12","doi-asserted-by":"publisher","DOI":"10.2307\/2586506"},{"key":"2015071523052946000_23.4.640.13","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(99)00032-9"},{"key":"2015071523052946000_23.4.640.14","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.010"},{"key":"2015071523052946000_23.4.640.15","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1096901773"},{"key":"2015071523052946000_23.4.640.16","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi029"},{"key":"2015071523052946000_23.4.640.17","unstructured":"Kracht M. Studies in Logic and the Foundations of Mathematics No. 142. Elsevier; 1999. Tools and techniques in modal logic."},{"key":"2015071523052946000_23.4.640.18","unstructured":"Kracht M. Modal consequence relations. In: van Benthem J. Venema Y. Wolter F. , editors. Handbook of Modal Logic. Elsevier; 2003."},{"key":"2015071523052946000_23.4.640.19","doi-asserted-by":"crossref","unstructured":"\u0141o\u015b J. Suszko R. Remarks on sentential logics. Indagationes Mathematicae 1958;20:177-183.","DOI":"10.1016\/S1385-7258(58)50024-9"},{"key":"2015071523052946000_23.4.640.20","unstructured":"Pogorzelski W.A. Structural completeness of the propositional calculus. Bulletin de l'Acad\u00e9mie Polonaise des Sciences, s\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques 1971;19:349-351."},{"key":"2015071523052946000_23.4.640.21","unstructured":"Pogorzelski W.A. Wojtylak P. Studies in Universal Logic. Birkh\u00e4user; 2008. Completeness theory for propositional logics."},{"key":"2015071523052946000_23.4.640.22","unstructured":"Prucnal T. Structural completenes of Medvedev's propositional calculus. Reports on Mathematical Logic 1976;6:103-105."},{"key":"2015071523052946000_23.4.640.23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00405383"},{"key":"2015071523052946000_23.4.640.24","unstructured":"Rautenberg W. A note on the implicational intermediate consequences. Bulletin of the Section of Logic 1985;14:103-108."},{"key":"2015071523052946000_23.4.640.25","unstructured":"Rybakov V.V. Studies in Logic and the Foundations of Mathematics. Vol. 136. Elsevier Sci.Publ.; 1997. Admissible logical inference rules."},{"key":"2015071523052946000_23.4.640.26","unstructured":"Taylor W. Equational Logic. 2nd. Springer; 1979. Appendix 4 in Gratzer, G. Universal Algebra ."},{"key":"2015071523052946000_23.4.640.27","doi-asserted-by":"publisher","DOI":"10.1007\/BF00405384"},{"key":"2015071523052946000_23.4.640.28","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370188"},{"key":"2015071523052946000_23.4.640.29","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki R. Theory of Logical Calculi. Kluwer Academic Press; 1988. Synthese Library Vol. 199.","DOI":"10.1007\/978-94-015-6942-2"},{"key":"2015071523052946000_23.4.640.30","unstructured":"Wro\u0144ski A. Transparent unification problem. Reports on Mathematical Logic 1995;29:105-107."},{"key":"2015071523052946000_23.4.640.31","doi-asserted-by":"crossref","unstructured":"Zakharyaschev M. Wolter F. Chagrov A. Advanced modal logic. In: Gabbay D. Guenthner F. , editors. Handbook of Philosophical Logic. 2nd. Vol. 3. Kluwer Academic Publishers; 2000. p. 183-266.","DOI":"10.1007\/978-94-017-0454-0_2"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/23\/4\/640\/5072279\/jzv024.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T19:07:52Z","timestamp":1566760072000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzv024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,31]]},"references-count":31,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2015,7,15]]},"published-print":{"date-parts":[[2015,8]]}},"alternative-id":["10.1093\/jigpal\/jzv024"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzv024","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5,31]]}}}