Skip to main content
Log in

Fibring as Biporting Subsumes Asymmetric Combinations

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Baader, F., S. Ghilardi, and C. Lutz, LTL over description logic axioms, ACM. Transactions on Computational Logic 13(3):21.1–21.32, 2012.

    Article  Google Scholar 

  2. Blackburn P., de Rijke M.: Why combine logics?. Studia Logica 59(1), 5–27 (1997)

    Article  Google Scholar 

  3. 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.

  4. 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.

  5. Carnielli W. A., Rasga J., Sernadas C.: Preservation of interpolation features by fibring. Journal of Logic and Computation 18(1), 123–151 (2008)

    Article  Google Scholar 

  6. 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.

  7. Coniglio M., Sernadas A., Sernadas C.: Preservation by fibring of the finite model property. Journal of Logic and Computation 21(2), 375–402 (2011)

    Article  Google Scholar 

  8. 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.

  9. 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.

  10. Finger M., Gabbay D. M.: Adding a temporal dimension to a logic system. Journal of Logic, Language and Information 1(3), 203–233 (1992)

    Article  Google Scholar 

  11. Finger M., Weiss M.A.: The unrestricted combination of temporal logic systems. Logic Journal of the IGPL 10(2), 165–189 (2002)

    Article  Google Scholar 

  12. Gabbay, D., Fibring Logics, Vol. 38 of Oxford Logic Guides, Oxford University Press, Oxford, 1999.

  13. 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.

  14. 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)

    Article  Google Scholar 

  15. 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.

  16. 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.

  17. Kracht M., Wolter F.: Simulation and transfer results in modal logic—A survey. Studia Logica 59(2), 149–177 (1997)

    Article  Google Scholar 

  18. 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.

  19. Mateus P., Sernadas A.: Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation 204(5), 771–794 (2006)

    Article  Google Scholar 

  20. 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.

  21. Rasga J., Sernadas A., Sernadas C.: Importing logics. Studia Logica 100(3), 545–581 (2012)

    Article  Google Scholar 

  22. Rasga J., Sernadas A., Sernadas C.: Importing logics: Soundness and completeness preservation. Studia Logica 101(1), 117–155 (2013)

    Article  Google Scholar 

  23. Sernadas, A., C. Sernadas, Combining logic systems: Why, how, what for? CIM Bulletin 15:9–14, 2003.

    Google Scholar 

  24. Sernadas A., Sernadas C., Rasga J., Coniglio M.: A graph-theoretic account of logics. Journal of Logic and Computation 19(6), 1281–1320 (2009)

    Article  Google Scholar 

  25. Sernadas A., Sernadas C., Rasga J., M. Coniglio: On graph-theoretic fibring of logics. Journal of Logic and Computation 19, 1321–1357 (2009)

    Article  Google Scholar 

  26. 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.

  27. 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.

  28. Zanardo A., Sernadas A., Sernadas C.: Fibring: Completeness preservation. Journal of Symbolic Logic 66(1), 414–439 (2001)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to J. Rasga.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-013-9524-1

Keywords

Mathematical Subject Classification

Navigation