Abstract
The transference of preservation results between importing (a logic combination mechanism that subsumes several asymmetrical mechanisms for combining logics like temporalization, modalization and globalization) and unconstrained fibring is investigated. For that purpose, a new (more convenient) formulation of fibring, called biporting, is introduced, and importing is shown to be subsumed by biporting. In consequence, particular cases of importing, like temporalization, modalization and globalization are subsumed by fibring. Capitalizing on these results, the preservation of the finite model property by fibring is transferred to importing and then carried over to globalization.
Similar content being viewed by others
References
Baader, F., S. Ghilardi, and C. Lutz, LTL over description logic axioms, ACM. Transactions on Computational Logic 13(3):21.1–21.32, 2012.
Blackburn P., de Rijke M.: Why combine logics?. Studia Logica 59(1), 5–27 (1997)
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–187.
Caleiro, C., A. Sernadas, and C. Sernadas, Fibring logics: Past, present and future, in S. Artemov, H. Barringer, A. S. d’Avila Garcez, L. C. Lamb, and J. Woods (eds.), We Will Show Them: Essays in Honour of Dov Gabbay, Vol. 1, King’s College Publications, London, 2005, pp. 363–388.
Carnielli W. A., Rasga J., Sernadas C.: Preservation of interpolation features by fibring. Journal of Logic and Computation 18(1), 123–151 (2008)
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–372.
Coniglio M., Sernadas A., Sernadas C.: Preservation by fibring of the finite model property. Journal of Logic and Computation 21(2), 375–402 (2011)
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–102.
Fajardo, R. A. S., and M. Finger, Non-normal modalisation, in Advances in Modal Logic, Vol. 4, King’s College Publications, London, 2003, pp. 83–95.
Finger M., Gabbay D. M.: Adding a temporal dimension to a logic system. Journal of Logic, Language and Information 1(3), 203–233 (1992)
Finger M., Weiss M.A.: The unrestricted combination of temporal logic systems. Logic Journal of the IGPL 10(2), 165–189 (2002)
Gabbay, D., Fibring Logics, Vol. 38 of Oxford Logic Guides, Oxford University Press, Oxford, 1999.
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.
Gabbay D. M.: Fibred semantics and the weaving of logics. I. Modal and intuitionistic logics. The Journal of Symbolic Logic 61(4), 1057–1120 (1996)
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–472.
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–98.
Kracht M., Wolter F.: Simulation and transfer results in modal logic—A survey. Studia Logica 59(2), 149–177 (1997)
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–297.
Mateus P., Sernadas A.: Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation 204(5), 771–794 (2006)
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–194.
Rasga J., Sernadas A., Sernadas C.: Importing logics. Studia Logica 100(3), 545–581 (2012)
Rasga J., Sernadas A., Sernadas C.: Importing logics: Soundness and completeness preservation. Studia Logica 101(1), 117–155 (2013)
Sernadas, A., C. Sernadas, Combining logic systems: Why, how, what for? CIM Bulletin 15:9–14, 2003.
Sernadas A., Sernadas C., Rasga J., Coniglio M.: A graph-theoretic account of logics. Journal of Logic and Computation 19(6), 1281–1320 (2009)
Sernadas A., Sernadas C., Rasga J., M. Coniglio: On graph-theoretic fibring of logics. Journal of Logic and Computation 19, 1321–1357 (2009)
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–165.
van Dalen, D., Intuitionistic logic. in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, D. Reidel, Kufstein, 1986, pp. 225–339.
Zanardo A., Sernadas A., Sernadas C.: Fibring: Completeness preservation. Journal of Symbolic Logic 66(1), 414–439 (2001)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Rasga, J., Sernadas, A. & Sernadas, C. Fibring as Biporting Subsumes Asymmetric Combinations. Stud Logica 102, 1041–1074 (2014). https://doi.org/10.1007/s11225-013-9524-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9524-1