{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T03:15:03Z","timestamp":1648523703279},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2013,11,17]],"date-time":"2013-11-17T00:00:00Z","timestamp":1384646400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s11225-013-9524-1","type":"journal-article","created":{"date-parts":[[2013,11,16]],"date-time":"2013-11-16T01:16:57Z","timestamp":1384564617000},"page":"1041-1074","source":"Crossref","is-referenced-by-count":1,"title":["Fibring as Biporting Subsumes Asymmetric Combinations"],"prefix":"10.1007","volume":"102","author":[{"given":"J.","family":"Rasga","sequence":"first","affiliation":[]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"C.","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,17]]},"reference":[{"issue":"3","key":"9524_CR1","doi-asserted-by":"crossref","first-page":"21.1","DOI":"10.1145\/2287718.2287721","volume":"13","author":"F. Baader","year":"2012","unstructured":"Baader, F., S. Ghilardi, and C. Lutz, LTL over description logic axioms, ACM. Transactions on Computational Logic 13(3):21.1\u201321.32, 2012.","journal-title":"ACM. Transactions on Computational Logic"},{"issue":"1","key":"9524_CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1004991115882","volume":"59","author":"P. Blackburn","year":"1997","unstructured":"Blackburn P., de Rijke M.: Why combine logics?. Studia Logica 59(1), 5\u201327 (1997)","journal-title":"Studia Logica"},{"key":"9524_CR3","doi-asserted-by":"crossref","unstructured":"Caleiro, C., W. A. Carnielli, J. Rasga, and C. Sernadas, Fibring of logics as a universal construction, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 13, Second edition, Springer, Berlin, 2005, pp. 123\u2013187.","DOI":"10.1007\/1-4020-3521-7_2"},{"key":"9524_CR4","unstructured":"Caleiro, C., A. Sernadas, and C. Sernadas, Fibring logics: Past, present and future, in S. Artemov, H. Barringer, A. S. d\u2019Avila Garcez, L. C. Lamb, and J. Woods (eds.), We Will Show Them: Essays in Honour of Dov Gabbay, Vol. 1, King\u2019s College Publications, London, 2005, pp. 363\u2013388."},{"issue":"1","key":"9524_CR5","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1093\/logcom\/exm061","volume":"18","author":"W. A. Carnielli","year":"2008","unstructured":"Carnielli W. A., Rasga J., Sernadas C.: Preservation of interpolation features by fibring. Journal of Logic and Computation 18(1), 123\u2013151 (2008)","journal-title":"Journal of Logic and Computation"},{"key":"9524_CR6","doi-asserted-by":"crossref","unstructured":"Chadha, R., P. Mateus, A. Sernadas, and C. Sernadas, Extending classical logic for reasoning about quantum systems, in D. Gabbay, K. Engesser, and D. Lehmann (eds.), Handbook of Quantum Logic and Quantum Structures: Quantum Logic, Elsevier, Amsterdam, 2009, pp. 325\u2013372.","DOI":"10.1016\/B978-0-444-52869-8.50011-6"},{"issue":"2","key":"9524_CR7","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1093\/logcom\/exq022","volume":"21","author":"M. Coniglio","year":"2011","unstructured":"Coniglio M., Sernadas A., Sernadas C.: Preservation by fibring of the finite model property. Journal of Logic and Computation 21(2), 375\u2013402 (2011)","journal-title":"Journal of Logic and Computation"},{"key":"9524_CR8","doi-asserted-by":"crossref","unstructured":"del Cerro, L. F., and A. Herzig, Combining classical and intuitionistic logic, or: Intuitionistic implication as a conditional, in F. Baader and K. U. Schulz (eds.), Frontiers of Combining Systems (FroCos) 1996, Vol. III of Applied Logic Series, Kluwer Academic Publishers, Dordrecht, 1996, pp. 93\u2013102.","DOI":"10.1007\/978-94-009-0349-4_4"},{"key":"9524_CR9","unstructured":"Fajardo, R. A. S., and M. Finger, Non-normal modalisation, in Advances in Modal Logic, Vol. 4, King\u2019s College Publications, London, 2003, pp. 83\u201395."},{"issue":"3","key":"9524_CR10","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger M., Gabbay D. M.: Adding a temporal dimension to a logic system. Journal of Logic, Language and Information 1(3), 203\u2013233 (1992)","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"9524_CR11","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1093\/jigpal\/10.2.165","volume":"10","author":"M. Finger","year":"2002","unstructured":"Finger M., Weiss M.A.: The unrestricted combination of temporal logic systems. Logic Journal of the IGPL 10(2), 165\u2013189 (2002)","journal-title":"Logic Journal of the IGPL"},{"key":"9524_CR12","unstructured":"Gabbay, D., Fibring Logics, Vol. 38 of Oxford Logic Guides, Oxford University Press, Oxford, 1999."},{"key":"9524_CR13","unstructured":"Gabbay, D., A. Kurucz, F. Wolter, and M. Zakharyaschev, Manydimensional modal logics: Theory and applications, Vol. 148 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 2003."},{"issue":"4","key":"9524_CR14","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"M. Gabbay D.","year":"1996","unstructured":"Gabbay D. M.: Fibred semantics and the weaving of logics. I. Modal and intuitionistic logics. The Journal of Symbolic Logic 61(4), 1057\u20131120 (1996)","journal-title":"The Journal of Symbolic Logic"},{"key":"9524_CR15","doi-asserted-by":"crossref","unstructured":"Gay, S. J., R. Nagarajan, and N. Papanikolaou, Specification and verification of quantum protocols, in Semantic Techniques in Quantum Computation, Cambridge University Press, Cambridge, MA, 2010, pp. 414\u2013472.","DOI":"10.1017\/CBO9781139193313.012"},{"key":"9524_CR16","doi-asserted-by":"crossref","unstructured":"Goldblatt, R., Mathematical modal logic: A view of its evolution, in D. M. Gabbay and J. Woods (eds.), Handbook of the History of Logic, Vol. 7, Elsevier, Amsterdam, 2006, pp. 1\u201398.","DOI":"10.1016\/S1874-5857(06)80027-0"},{"issue":"2","key":"9524_CR17","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1023\/A:1004900300438","volume":"59","author":"M. Kracht","year":"1997","unstructured":"Kracht M., Wolter F.: Simulation and transfer results in modal logic\u2014A survey. Studia Logica 59(2), 149\u2013177 (1997)","journal-title":"Studia Logica"},{"key":"9524_CR18","unstructured":"Martins, M. A., A. Madeira, R. Diaconescu, and L. S. Barbosa, Hybridization of institutions, in Algebra and Coalgebra in Computer Science, Vol. 6859 of Lecture Notes in Computer Science, Springer, Berlin, 2011, pp. 283\u2013297."},{"issue":"5","key":"9524_CR19","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1016\/j.ic.2006.02.001","volume":"204","author":"P. Mateus","year":"2006","unstructured":"Mateus P., Sernadas A.: Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation 204(5), 771\u2013794 (2006)","journal-title":"Information and Computation"},{"key":"9524_CR20","unstructured":"Mateus, P., A. Sernadas, and C. Sernadas, Exogenous semantics approach to enriching logics, in G. Sica (ed.), Essays on the Foundations of Mathematics and Logic, Vol. 1, Polimetrica, Monza, 2005, pp. 165\u2013194."},{"issue":"3","key":"9524_CR21","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/s11225-012-9414-y","volume":"100","author":"J. Rasga","year":"2012","unstructured":"Rasga J., Sernadas A., Sernadas C.: Importing logics. Studia Logica 100(3), 545\u2013581 (2012)","journal-title":"Studia Logica"},{"issue":"1","key":"9524_CR22","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s11225-011-9363-x","volume":"101","author":"J. Rasga","year":"2013","unstructured":"Rasga J., Sernadas A., Sernadas C.: Importing logics: Soundness and completeness preservation. Studia Logica 101(1), 117\u2013155 (2013)","journal-title":"Studia Logica"},{"key":"9524_CR23","unstructured":"Sernadas, A., C. Sernadas, Combining logic systems: Why, how, what for? CIM Bulletin 15:9\u201314, 2003."},{"issue":"6","key":"9524_CR24","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1093\/logcom\/exp023","volume":"19","author":"A. Sernadas","year":"2009","unstructured":"Sernadas A., Sernadas C., Rasga J., Coniglio M.: A graph-theoretic account of logics. Journal of Logic and Computation 19(6), 1281\u20131320 (2009)","journal-title":"Journal of Logic and Computation"},{"key":"9524_CR25","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1093\/logcom\/exp024","volume":"19","author":"A. Sernadas","year":"2009","unstructured":"Sernadas A., Sernadas C., Rasga J., M. Coniglio: On graph-theoretic fibring of logics. Journal of Logic and Computation 19, 1321\u20131357 (2009)","journal-title":"Journal of Logic and Computation"},{"key":"9524_CR26","doi-asserted-by":"crossref","unstructured":"Thomason, R. H., Combinations of tense and modality, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 2, D. Reidel, Kufstein, 1984, pp. 135\u2013165.","DOI":"10.1007\/978-94-009-6259-0_3"},{"key":"9524_CR27","doi-asserted-by":"crossref","unstructured":"van Dalen, D., Intuitionistic logic. in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, D. Reidel, Kufstein, 1986, pp. 225\u2013339.","DOI":"10.1007\/978-94-009-5203-4_4"},{"issue":"1","key":"9524_CR28","doi-asserted-by":"crossref","first-page":"414","DOI":"10.2307\/2694931","volume":"66","author":"A. Zanardo","year":"2001","unstructured":"Zanardo A., Sernadas A., Sernadas C.: Fibring: Completeness preservation. Journal of Symbolic Logic 66(1), 414\u2013439 (2001)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9524-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9524-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9524-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T21:46:22Z","timestamp":1564695982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9524-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,17]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["9524"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9524-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,17]]}}}