{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T07:53:19Z","timestamp":1722930799615},"reference-count":42,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1093\/jigpal\/jzw033","type":"journal-article","created":{"date-parts":[[2016,6,29]],"date-time":"2016-06-29T18:22:05Z","timestamp":1467224525000},"page":"673-707","source":"Crossref","is-referenced-by-count":8,"title":["Decidability and complexity of fibred logics without shared connectives"],"prefix":"10.1093","volume":"24","author":[{"given":"S\u00e9rgio","family":"Marcelino","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Caleiro","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"key":"2016091600040490000_24.5.673.1","first-page":"457","article-title":"A modification of Ackermann's rigorous implication","volume":"23","author":"Anderson","year":"1958","journal-title":"Journal of Symbolic Logic"},{"key":"2016091600040490000_24.5.673.2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.05.009"},{"key":"2016091600040490000_24.5.673.3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-69778-0_15"},{"key":"2016091600040490000_24.5.673.4","doi-asserted-by":"publisher","DOI":"10.2307\/2271239"},{"key":"2016091600040490000_24.5.673.5","unstructured":"B\u00e9ziau J.-Y. Childers T. Majers O. Universal Logic. In Proceedings of the VIII International Symposium, LOGICA'94, pp. 73\u201393. Czech Academy of Sciences, 1994."},{"key":"2016091600040490000_24.5.673.6","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp095"},{"key":"2016091600040490000_24.5.673.7","doi-asserted-by":"crossref","unstructured":"Blok W. Pigozzi D. Algebraizable Logics. Memoirs of the American Mathematical Society, 396, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"2016091600040490000_24.5.673.8","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3521-7_2"},{"key":"2016091600040490000_24.5.673.9","doi-asserted-by":"crossref","unstructured":"Caleiro C. Sernadas A. B\u00e9ziau J.-Y. Fibring logics. In Universal Logic: An Anthology (From Paul Hertz to Dov Gabbay), pp. 389\u2013396. Birkhauser, 2012.","DOI":"10.1007\/978-3-0346-0145-0_29"},{"key":"2016091600040490000_24.5.673.10","unstructured":"Carnielli W. Coniglio M. Gabbay D. Gouveia P. Sernadas C. Analysis and Synthesis of Logics: How To Cut And Paste Reasoning Systems, Vol. 35 of Applied Logic. Springer, 2008."},{"key":"2016091600040490000_24.5.673.11","doi-asserted-by":"crossref","unstructured":"Ciabattoni A. Galatos N. Terui K. From axioms to analytic rules in nonclassical logics. In LICS, pp. 229\u2013240. IEEE Computer Society, 2008.","DOI":"10.1109\/LICS.2008.39"},{"key":"2016091600040490000_24.5.673.12","doi-asserted-by":"crossref","unstructured":"Ciabattoni A. Ramanayake R. . Structural extensions of display calculi: a general recipe. In Logic, Language, Information and Computation, Libkin L. Kohlenbach U. de Queiroz R. , eds, pp. 81\u201395. Springer, 2013.","DOI":"10.1007\/978-3-642-39992-3_10"},{"key":"2016091600040490000_24.5.673.13","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-007-0019-6"},{"key":"2016091600040490000_24.5.673.14","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exq022"},{"key":"2016091600040490000_24.5.673.15","doi-asserted-by":"crossref","unstructured":"Conradie W. Ghilardi S. Palmigiano A. . Unified correspondence. In Johan van Benthem on Logic and Information Dynamics, Vol. 5 of Outstanding Contributions to Logic , Baltag A. Smets S. , eds, pp. 933\u2013975. Springer, 2014.","DOI":"10.1007\/978-3-319-06025-5_36"},{"key":"2016091600040490000_24.5.673.16","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.06.057"},{"key":"2016091600040490000_24.5.673.17","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzm036"},{"key":"2016091600040490000_24.5.673.18","unstructured":"|FroCoS The International Symposium on Frontiers of Combining Systems. Available at http:\/\/frocos.cs.uiowa.edu."},{"key":"2016091600040490000_24.5.673.19","unstructured":"Gabbay D. Kurucz A. Wolter F. Zakharyaschev M. Many-Dimensional Modal Logics: Theory and Applications, 148 of Studies in Logic and the Foundations of Mathematics. Elsevier, 2003."},{"key":"2016091600040490000_24.5.673.20","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/6.1.73"},{"key":"2016091600040490000_24.5.673.21","doi-asserted-by":"publisher","DOI":"10.2307\/2275807"},{"key":"2016091600040490000_24.5.673.22","doi-asserted-by":"crossref","unstructured":"Gabbay D. Fibring Logics, 38 of Oxford Logic Guides. Clarendon Press, 1999.","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"key":"2016091600040490000_24.5.673.23","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1122038925"},{"key":"2016091600040490000_24.5.673.24","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)E0084-2"},{"key":"2016091600040490000_24.5.673.25","unstructured":"Greco G. Ma M. Palmigiano A. Tzimoulis A. Zhao Z. Unified correspondence as a proof-theoretic tool. Journal of Logic and Computation, To appear in Special Issue on Canonicity and Correspondence for Nonclassical Logics."},{"key":"2016091600040490000_24.5.673.26","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1040046092"},{"key":"2016091600040490000_24.5.673.27","doi-asserted-by":"publisher","DOI":"10.2307\/2586578"},{"key":"2016091600040490000_24.5.673.28","unstructured":"Marcelino S. Caleiro C. On the characterization of fibred logics, with applications to conservativity and finite-valuedness. Technical report, SQIG - Instituto de Telecomunica\u00e7\u00f5es and IST - U Lisboa, Portugal. Available at http:\/\/sqig.math.ist.utl.pt\/pub\/CaleiroC\/14-MC-conservativity.pdf. Submitted for publication, 2014."},{"key":"2016091600040490000_24.5.673.29","doi-asserted-by":"crossref","unstructured":"Marcelino S. Caleiro C. Baltazar P. Koslow A. Buchsbaum A. Deciding theoremhood in fibred logics without shared connectives. In The Road to Universal Logic - Volume 2, Studies in Universal Logic, pp. 387\u2013406. Springer, 2015.","DOI":"10.1007\/978-3-319-15368-1_18"},{"key":"2016091600040490000_24.5.673.30","unstructured":"Masacci F. Moscow J. Rich C. Anytime approximate modal reasoning. In AAAI-98, pp. 274\u2013279. AAAI Press, 1998."},{"key":"2016091600040490000_24.5.673.31","doi-asserted-by":"publisher","DOI":"10.1145\/357073.357079"},{"key":"2016091600040490000_24.5.673.32","doi-asserted-by":"crossref","first-page":"15","DOI":"10.4064\/cm-30-1-15-25","article-title":"The join of equational theories","volume":"30","author":"Pigozzi","year":"1974","journal-title":"Colloquium Mathematicae"},{"key":"2016091600040490000_24.5.673.33","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2007.11.009"},{"key":"2016091600040490000_24.5.673.34","doi-asserted-by":"crossref","unstructured":"Ranise S. Ringeissen C. Zarba C. . Combining data structures with nonstably infinite theories using many-sorted logic. In Frontiers of Combining Systems Vol. 3717 of Lecture Notes in Computer Science , Gramlich B. , ed., pp. 48\u201364. Springer, 2005.","DOI":"10.1007\/11559306_3"},{"key":"2016091600040490000_24.5.673.35","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.3.443"},{"key":"2016091600040490000_24.5.673.36","first-page":"477","article-title":"A decision method for validity of sentences in two variables","volume":"27","author":"Scott","year":"1962","journal-title":"Journal of Symbolic Logic"},{"key":"2016091600040490000_24.5.673.37","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.2.149"},{"key":"2016091600040490000_24.5.673.38","doi-asserted-by":"publisher","DOI":"10.1145\/2422.322411"},{"key":"2016091600040490000_24.5.673.39","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00332-2"},{"key":"2016091600040490000_24.5.673.40","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki R. Theory of Logical Calculi. Kluwer, Dordrecht, 1988.","DOI":"10.1007\/978-94-015-6942-2"},{"key":"2016091600040490000_24.5.673.41","first-page":"361","article-title":"Fusions of modal logics revisited","volume-title":"Advances in Modal Logic","volume":"1","author":"Wolter","year":"1998"},{"key":"2016091600040490000_24.5.673.42","doi-asserted-by":"publisher","DOI":"10.2307\/2694931"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/24\/5\/673\/6760932\/jzw033.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T00:43:07Z","timestamp":1718671387000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzw033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,28]]},"references-count":42,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2016,9,15]]},"published-print":{"date-parts":[[2016,10]]}},"alternative-id":["10.1093\/jigpal\/jzw033"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzw033","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6,28]]}}}