{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:49:00Z","timestamp":1725457740097},"publisher-location":"Berlin\/Heidelberg","reference-count":69,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"1402035209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-3521-7_2","type":"book-chapter","created":{"date-parts":[[2005,12,13]],"date-time":"2005-12-13T04:22:23Z","timestamp":1134447743000},"page":"123-187","source":"Crossref","is-referenced-by-count":12,"title":["Fibring of Logics as a Universal Construction"],"prefix":"10.1007","author":[{"given":"C.","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"J.","family":"Rasga","sequence":"additional","affiliation":[]},{"given":"C.","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"W.","family":"Carnielli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"A. Armando, editor. Frontiers of combining systems, volume 2309 of Lecture Notes in Computer Science, Berlin, 2002. Springer-Verlag. Lecture Notes in Artificial Intelligence.","DOI":"10.1007\/3-540-45988-X"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"F. Baader and K. U. Schulz, editors. Frontiers of combining systems, volume 3 of Applied Logic Series. Kluwer Academic Publishers, Dordrecht, 1996. Papers from the First International Workshop (FroCoS\u2019 96) held in Munich, March 26\u201329, 1996.","DOI":"10.1007\/978-94-009-0349-4"},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-69778-0_15","volume":"1397","author":"B. Beckert","year":"1998","unstructured":"B. Beckert and D. Gabbay. Fibring semantic tableaux. In Automated reasoning with analytic tableaux and related methods, volume 1397 of Lecture Notes in Computer Science, pages 77\u201392. Springer Verlag, 1998.","journal-title":"Automated reasoning with analytic tableaux and related methods"},{"key":"2_CR4","unstructured":"G. Birkhoff. Lattice Theory. AMS Colloquium Publications, 1967."},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1004991115882","volume":"59","author":"P. Blackburn","year":"1997","unstructured":"P. Blackburn and M. de Rijke. Why combine logics? Studia Logica, 59(1):5\u201327, 1997.","journal-title":"Studia Logica"},{"key":"2_CR6","unstructured":"C. Caleiro and J. Ramos. Cryptofibring. In Carnielli et al. [2004], pages 87\u201392."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"[Caleiro et al., 1999] C. Caleiro, C. Sernadas, and A. Sernadas. Parameterisation of logics. In J. Fiadeiro, editor, Recent trends in algebraic development techniques \u2014 Selected papers, volume 1589 of Lecture Notes in Computer Science, pages 48\u201362. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48483-3_4"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"[Caleiro et al., 2001] C. Caleiro, P. Mateus, J. Ramos, and A. Sernadas. Combining logics: Parchments revisited. In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development Techniques \u2014 Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48\u201370. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45645-7_3"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1022301711366","volume":"12","author":"C. Caleiro","year":"2003","unstructured":"[Caleiro et al., 2003a] C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring non-truth-functional logics: Completeness preservation. Journal of Logic, Language and Information, 12(2):183\u2013211, 2003.","journal-title":"Journal of Logic, Language and Information"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"[Caleiro et al., 2003b] C. Caleiro, P. Gouveia, and J. Ramos. Completeness results for fibred parchments: Beyond the propositional base. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques \u2014 Selected Papers, volume 2755 of Lecture Notes in Computer Science, pages 185\u2013200. Springer-Verlag, 2003.","DOI":"10.1007\/978-3-540-40020-2_10"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"[Caleiro et al., in print] C. Caleiro, L. Vigan\u00f2, and D. Basin. Metareasoning about security protocols using distributed temporal logic. Electronic Notes in Theoretical Computer Science, in print. Presented at IJCAR\u201904 ARSPA Workshop.","DOI":"10.1016\/j.entcs.2004.05.020"},{"key":"2_CR12","unstructured":"C. Caleiro. Combining Logics. PhD thesis, IST, Universidade T\u00e9cnica de Lisboa, 2000."},{"issue":"2","key":"2_CR13","first-page":"69","volume":"22","author":"W. A. Carnielli","year":"1999","unstructured":"W. A. Carnielli and M. E. Coniglio. A categorial approach to the combination of logics. Manuscrito, 22(2):69\u201394, 1999.","journal-title":"Manuscrito"},{"issue":"3","key":"2_CR14","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1305\/ndjfl\/1022615617","volume":"40","author":"W. A. Carnielli","year":"1999","unstructured":"W. A. Carnielli and J. Marcos. Limits for paraconsistency calculi. Notre Dame Journal of Formal Logic, 40(3):375\u2013390, 1999.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2_CR15","first-page":"848","volume-title":"Proceedings of the International Conference on Artificial Intelligence (IC-AI\u20192001)","author":"W. A. Carnielli","year":"2001","unstructured":"W. A. Carnielli and J. Marcos. Tableau systems for logics of formal inconsistency. In H. R. Arabnia, editor, Proceedings of the International Conference on Artificial Intelligence (IC-AI\u20192001), pages 848\u2013852. CSREA Press, Athens, GA, USA, 2001."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"W. A. Carnielli and J. Marcos. A taxonomy of C-systems. In W. A. Carnielli, M. E. Coniglio, and I. M. L. D\u2019 Ottaviano, editors, Proceedings of the 2nd World Congress on Paraconsistency 2000, pages 1\u201394. Marcel Dekker, 2002.","DOI":"10.1201\/9780203910139.pt1"},{"key":"2_CR17","unstructured":"W. A. Carnielli and C. Sernadas. Preservation of interpolation features by fibring. Technical report, Center for Logic and Computation, DM, Instituto Superior T\u00e9cnico, 2004."},{"key":"2_CR18","unstructured":"[Carnielli et al., 2004] W. A. Carnielli, F. M. Dion\u00edsio, and P. Mateus, editors. Proceedings of CombLog\u201904 \u2014 Workshop on Combination of Logics: Theory and Applications. IST Press, Lisbon, 2004."},{"issue":"2","key":"2_CR19","doi-asserted-by":"crossref","first-page":"473","DOI":"10.2307\/2274395","volume":"52","author":"W. A. Carnielli","year":"1987","unstructured":"W. A. Carnielli. Systematization of finite many-valued logics through the method of tableaux. Journal of Symbolic Logic, 52(2):473\u2013493, 1987.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1023\/A:1021845424153","volume":"72","author":"M. E. Coniglio","year":"2002","unstructured":"M. E. Coniglio and W. A. Carnielli. Transfers between logics and their applications. Studia Logica, 72(3):367\u2013400, 2002.","journal-title":"Studia Logica"},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1093\/logcom\/13.4.595","volume":"13","author":"M. E. Coniglio","year":"2003","unstructured":"[Coniglio et al., 2003] M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring logics with topos semantics. Journal of Logic and Computation, 13(4):595\u2013624, 2003.","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"2_CR22","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1305\/ndjfl\/1093888132","volume":"18","author":"N.C.A. Costa da","year":"1977","unstructured":"N.C.A. da Costa and E. Alves. A semantical analysis of the calculi C n . Notre Dame Journal of Formal Logic, 18(4):621\u2013630, 1977.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3\/4","key":"2_CR23","first-page":"293","volume":"16","author":"N.C.A. Costa da","year":"1988","unstructured":"N.C.A. da Costa and W. Carnielli. Paraconsistent deontic logic. Philosophia \u2014 The Philosophical Quarterly of Israel, 16(3\/4):293\u2013305, 1988.","journal-title":"Philosophia \u2014 The Philosophical Quarterly of Israel"},{"key":"2_CR24","unstructured":"N.C.A. da Costa. Sistemas Formais Inconsistentes. Cathedra Thesis, UFPR. Published by Editora UFPR in 1993, Brazil, 1963."},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"M. de Rijke and P. Blackburn, editors. Special issue on combining logics, volume 37(2) of Notre Dame Journal of Formal Logic. University of Notre Dame, 1996.","DOI":"10.1305\/ndjfl\/1040046084"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"L. Fari\u00f1as del Cerro and A. Herzig. Combining classical and intuitionistic logic. In Baader and Schulz [1996], pages 93\u2013102.","DOI":"10.1007\/978-94-009-0349-4_4"},{"issue":"3","key":"2_CR27","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"M. Finger and D. Gabbay. 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":"2_CR28","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1040046087","volume":"37","author":"M. Finger","year":"1996","unstructured":"M. Finger and D. Gabbay. Combining temporal logic systems. Notre Dame Journal of Formal Logic, 37(2):204\u2013232, 1996.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"2_CR29","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1093\/jigpal\/10.2.165","volume":"10","author":"M. Finger","year":"2002","unstructured":"M. Finger and M. A. Weiss. 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":"2_CR30","volume-title":"Studies in Logic and Computation","author":"D. Gabbay","year":"2000","unstructured":"D. Gabbay and M. de Rijke, editors. Frontiers of combining systems. 2, volume 7 of Studies in Logic and Computation. Research Studies Press Ltd., Baldock, 2000. Papers from the 2nd International Workshop (FroCoS\u201998) held at the University of Amsterdam, Amsterdam, October 2\u20134, 1998."},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"D. Gabbay and F. Pirri, editors. Special issue on combining logics, volume 59(1,2) of Studia Logica. Kluwer Academic Publishers, 1997.","DOI":"10.1023\/A:1004988231811"},{"issue":"1","key":"2_CR32","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"D. Gabbay","year":"1998","unstructured":"D. Gabbay and V. Shehtman. Products of modal logics. I. Logic Journal of the IGPL, 6(1):73\u2013146, 1998.","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"2_CR33","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1093\/jigpal\/8.2.165","volume":"8","author":"D. Gabbay","year":"2000","unstructured":"D. Gabbay and V. Shehtman. Products of modal logics. II. Relativised quantifiers in classical logic. Logic Journal of the IGPL, 8(2):165\u2013210, 2000.","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"2_CR34","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1021304426509","volume":"72","author":"D. Gabbay","year":"2002","unstructured":"D. Gabbay and V. Shehtman. Products of modal logics. III. Products of modal and temporal logics. Studia Logica, 72(2):157\u2013183, 2002.","journal-title":"Studia Logica"},{"key":"2_CR35","unstructured":"[Gabbay et al., 2003] D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: Theory and applications. Studies in Logic and the Foundations of Mathematics, 148. Elsevier, 2003."},{"issue":"4","key":"2_CR36","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"D. Gabbay","year":"1996","unstructured":"D. Gabbay. Fibred semantics and the weaving of logics: part 1. Journal of Symbolic Logic, 61(4):1057\u20131120, 1996.","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"D. Gabbay. An overview of fibred semantics and the combination of logics. In Baader and Schulz [1996], pages 1\u201355.","DOI":"10.1007\/978-94-009-0349-4_1"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"D. Gabbay. Fibring logics. Oxford University Press, 1999.","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"issue":"3","key":"2_CR39","first-page":"307","volume":"11","author":"J. Goguen","year":"1985","unstructured":"J. Goguen and J. Meseguer. Completeness of many-sorted equational logic. Houston Journal of Mathematics, 11(3):307\u2013334, 1985.","journal-title":"Houston Journal of Mathematics"},{"key":"2_CR40","unstructured":"S. Gottwald. A treatise on many-valued logics. Research Studies Press, 2001."},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"[Governatori et al., 2002] G. Governatori, V. Padmanabhan, and A. Sattar. On fibring semantics for BDI logics. In S. Flesca and G. Ianni, editors, Logics in computer science \u2014 JELIA, volume 2424 of Lecture Notes in Artificial Intelligence, pages 198\u2013210. Springer Verlag, 2002.","DOI":"10.1007\/3-540-45757-7_17"},{"key":"2_CR42","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-94-017-0452-6_5","volume-title":"Handbook of philosophical logic","author":"R. H\u00e4hnle","year":"2001","unstructured":"Reiner H\u00e4hnle. Advanced many-valued logics. In Handbook of philosophical logic, Vol. 2, pages 297\u2013395. Kluwer Academic Publishers, Dordrecht, 2001."},{"key":"2_CR43","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G. Hughes","year":"1996","unstructured":"G. Hughes and M. Cresswell. A New Introduction to Modal Logic. Routledge, London, 1996."},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"H. Kirchner and C. Ringeissen, editors. Frontiers of combining systems, volume 1794 of Lecture Notes in Computer Science, Berlin, 2000. Springer-Verlag. Lecture Notes in Artificial Intelligence.","DOI":"10.1007\/10720084"},{"issue":"4","key":"2_CR45","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"M. Kracht and F. Wolter. Properties of independently axiomatizable bimodal logics. Journal of Symbolic Logic, 56(4):1469\u20131485, 1991.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"2_CR46","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1023\/A:1004900300438","volume":"59","author":"M. Kracht","year":"1997","unstructured":"M. Kracht and F. Wolter. Simulation and transfer results in modal logic \u2014 a survey. Studia Logica, 59(2):149\u2013177, 1997.","journal-title":"Studia Logica"},{"key":"2_CR47","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"M. Kracht","year":"1999","unstructured":"M. Kracht. Tools and techniques in modal logic, volume 142 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, 1999."},{"issue":"4","key":"2_CR48","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1305\/ndjfl\/1093635932","volume":"32","author":"R. Lewin","year":"1991","unstructured":"[Lewin et al., 1991] R. Lewin, I. Mikenberg, and M. Schwarze. C1 is not algebraizable. Notre Dame Journal of Formal Logic, 32(4):609\u2013611, 1991.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2_CR49","unstructured":"A. Lopari\u0107 and E. Alves. The semantics of the systems C n of da Costa. In A. Arruda, N.C.A. da Costa, and A. Sette, editors, Proceedings of the 3rd Brazilian Conference on Mathematical Logic, pages 161\u2013172. Sociedade Brasileira de L\u00f3gica, 1980."},{"key":"2_CR50","unstructured":"S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1998."},{"issue":"2","key":"2_CR51","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1093\/logcom\/9.2.197","volume":"9","author":"M. Marx","year":"1999","unstructured":"M. Marx. Complexity of products of modal logics. Journal of Logic and Computation, 9(2):197\u2013214, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"2_CR52","unstructured":"P. Mateus and A. Sernadas. Exogenous quantum logic. In Carnielli et al. [2004], pages 141\u2013150."},{"key":"2_CR53","doi-asserted-by":"crossref","unstructured":"P. Mateus and A. Sernadas. Reasoning about quantum systems. In J. Alferes and J. Leite, editors, Logics in Artificial Intelligence, Ninth European Conference, JELIA\u2019 04, Lecture Notes in Artificial Intelligence. Springer-Verlag, in print.","DOI":"10.1007\/978-3-540-30227-8_22"},{"issue":"1\/4","key":"2_CR54","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1023\/A:1016738205696","volume":"32","author":"P. Mateus","year":"2001","unstructured":"[Mateus et al., 2001] P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, and C. Sernadas. Probabilistic situation calculus. Annals of Mathematics and Artificial Intelligence, 32(1\/4):393\u2013431, 2001.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"J. Meseguer. Membership algebra as a logical framework for equational specification. In F. Parisi-Presicce, editor, Recent Developments in Algebraic Development Techniques \u2014 Selected Papers, volume 1376 of Lecture Notes in Computer Science, pages 18\u201361. Springer-Verlag, 1998.","DOI":"10.1007\/3-540-64299-4_26"},{"key":"2_CR56","doi-asserted-by":"crossref","first-page":"694","DOI":"10.1305\/ndjfl\/1093883254","volume":"21","author":"C. Mortensen","year":"1980","unstructured":"C. Mortensen. Every quotient algebra for C1 is trivial. Notre Dame Journal of Formal Logic, 21:694\u2013700, 1980.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"2_CR57","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1093\/logcom\/12.3.443","volume":"12","author":"J. Rasga","year":"2002","unstructured":"[Rasga et al., 2002] J. Rasga, A. Sernadas, C. Sernadas, and L. Vigan\u00f2. Fibring labelled deduction systems. Journal of Logic and Computation, 12(3):443\u2013473, 2002.","journal-title":"Journal of Logic and Computation"},{"key":"2_CR58","unstructured":"J. Rasga. Fibring Labelled First-order Based Logics. PhD thesis, IST, Universidade T\u00e9cnica de Lisboa, 2003."},{"key":"2_CR59","first-page":"9","volume":"15","author":"A. Sernadas","year":"2003","unstructured":"A. Sernadas and C. Sernadas. Combining logic systems: Why, how, what for? CIM Bulletin, 15:9\u201314, December 2003.","journal-title":"CIM Bulletin"},{"issue":"2","key":"2_CR60","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004904401346","volume":"59","author":"A. Sernadas","year":"1997","unstructured":"[Sernadas et al., 1997] A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217\u2013247, 1997.","journal-title":"Studia Logica"},{"issue":"2","key":"2_CR61","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A. Sernadas","year":"1999","unstructured":"[Sernadas et al., 1999] A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial construction. Journal of Logic and Computation, 9(2):149\u2013179, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"2_CR62","unstructured":"[Sernadas et al., 2000] A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial fibring of logics with terms and binding operators. In Gabbay and de M. Rijke [2000], pages 295\u2013316."},{"issue":"4","key":"2_CR63","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1093\/jigpal\/10.4.413","volume":"10","author":"A. Sernadas","year":"2002","unstructured":"[Sernadas et al., 2002a] A. Sernadas, C. Sernadas, and A. Zanardo. Fibring modal first-order logics: Completeness preservation. Logic Journal of the IGPL, 10(4):413\u2013451, 2002.","journal-title":"Logic Journal of the IGPL"},{"issue":"4","key":"2_CR64","doi-asserted-by":"crossref","first-page":"1541","DOI":"10.2178\/jsl\/1190150298","volume":"67","author":"C. Sernadas","year":"2002","unstructured":"[Sernadas et al., 2002b] C. Sernadas, J. Rasga, and W. A. Carnielli. Modulated fibring and the collapsing problem. Journal of Symbolic Logic, 67(4):1541\u20131569, 2002.","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR65","series-title":"Synthese Library","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-94-009-6259-0_3","volume-title":"Handbook of philosophical logic, Vol. II","author":"R. H. Thomason","year":"1984","unstructured":"R. H. Thomason. Combinations of tense and modality. In Handbook of philosophical logic, Vol. II, volume 165 of Synthese Library, pages 135\u2013165. Reidel, Dordrecht, 1984."},{"key":"2_CR66","doi-asserted-by":"crossref","unstructured":"D. van Danlen. Intuitionistic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. III, pages 225\u2013339. D. Reidel Publishing Company, 1986.","DOI":"10.1007\/978-94-009-5203-4_4"},{"key":"2_CR67","unstructured":"F. Wolter and M. Zakharyaschev. Temporalizing description logics. In Gabbay and de M. Rijke [2000], pages 379\u2013401."},{"key":"2_CR68","first-page":"361","volume":"87","author":"F. Wolter","year":"1998","unstructured":"F. Wolter. Fusions of modal logics revisited. In Advances in modal logic, Vol. 1, volume 87 of CSLI Lecture Notes, pages 361\u2013379. CSLI Publ., 1998.","journal-title":"Advances in modal logic, Vol. 1"},{"issue":"1","key":"2_CR69","doi-asserted-by":"crossref","first-page":"414","DOI":"10.2307\/2694931","volume":"66","author":"A. Zanardo","year":"2001","unstructured":"[Zanardo et al., 2001] A. Zanardo, A. Sernadas, and C. Sernadas. Fibring: Completeness preservation. Journal of Symbolic Logic, 66(1):414\u2013439, 2001.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Handbook of Philosophical Logic","Handbook of Philosophical Logic, 2nd Edition"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-3521-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T18:04:28Z","timestamp":1706810668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-3521-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402035209"],"references-count":69,"URL":"https:\/\/doi.org\/10.1007\/1-4020-3521-7_2","relation":{},"subject":[]}}