Abstract
This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics.
Similar content being viewed by others
References
Areces, C., Blackburn, P., & Marx, M. (2001). Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66(3), 977–1010.
Blackburn, P. (2000). Representation, reasoning, and relational structures: A hybrid logic manifesto. Logic Journal of IGPL, 8(3), 339–365.
Blackburn, P., & ten Cate, B. D. (2006). Pure extensions, proof rules, and hybrid axiomatics. Studia Logica, 84(2), 277–322.
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press.
Braüner, T. (2011). Hybrid logic and its proof theory. Berlin: Springer.
Braüner, T. (2005). Natural deduction for first-order hybrid logic. Journal of Logic, Language and Information, 14, 173.
Braüner, T., & de Paiva, V. (2006). Intuitionistic hybrid logic. Journal of Applied Logic, 4(3), 231–255.
Fitting, M., & Mendelsohn, R. L. (1998). First-order modal logic. Dordrecht: Kluwer.
Garson, J. W. (1984). Quantification in modal logic. In D. M. Gabbay & F. Guenthner (Eds.) Handbook of philosophical logic: Volume III: Extensions of classical logic (pp. 249–307). Dordrecht: Reidel.
Goranko, V., & Vakarelov, D. (1998). Modal logic and universal algebra i: Modal axiomatizations of structures. Advances in Modal Logic, 247–274.
Grätzer, G. (1979). Universal algebra (2nd ed.). Berlin: Springer.
Indrzejczak, A. (2007). Modal hybrid logic. Logic and Logical Philosophy, 16, 147–257.
Madeira, A., Faria, J. M., Martins, M. A., & Barbosa, L. S. (2011). Hybrid specification of reactive systems: An institutional approach. In 9th international conference on software engineering and formal methods (SEFM’11). Springer Lecture Notes Computer Science 7041, pp. 250–259.
Manzano, M., Martins, M.A., & Huertas, A. (2012). Equational hybrid type theory. In T. Bolander, T. Braüner, S. Ghilardi & L. Moss (Eds.) In proceedings of 9th advances in modal logic (AiML’12) short presentations (pp. 37–41). Copenhagen.
Martins, M. A., Madeira, A., & Barbosa, L. S. (2012). Towards a semantics for infinitary equational hybrid logic. In T. Bolander, T. Braüner, S., Ghilardi & L. Moss (Eds.) In proceedings of 9th advances in modal logic (AiML’12) short presentations (pp. 42–46). Copenhagen.
Martins, M. A., Madeira, A., Diaconescu, R., & Barbosa, L. S. (2011). Hybridization of institutions. In Fourth international conference on algebra and Coalgebra in computer science (CALCO’11), pp. 283–297. Springer Lecture Notes in Computer Science (6859).
Tzanis, E. (2005). Algebraizing hybrid logic. Master’s thesis, Faculty Faculty of Science Institute/dept. FNWI/FGw: Institute for Logic, Language and Computation (ILLC).
Acknowledgments
The authors express their gratitude to the anonymous reviewer for useful comments and corrections.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research funded by the ERDF through the Programme COMPETE and by the Portuguese Government through FCT—Foundation for Science and Technology, under contract FCOMP-01-0124-FEDER-028923. M. Martins also acknowledges partial financial assistance by: FCT through the CIDMA within project OE/MAT/UI4106/2014, the Marie Curie project FP7-PEOPLE-2012-IRSES (GetFun) and the project Nociones de Completud with reference FFI2009-09345 (MICINN-Spain).
Rights and permissions
About this article
Cite this article
Barbosa, L.S., Martins, M.A. & Carreteiro, M. A Hilbert-Style Axiomatisation for Equational Hybrid Logic. J of Log Lang and Inf 23, 31–52 (2014). https://doi.org/10.1007/s10849-013-9184-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-013-9184-6