Skip to main content
SpringerLink
Log in

A Hilbert-Style Axiomatisation for Equational Hybrid Logic

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

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.

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

Access this article

Log in via an institution

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

  • Areces, C., Blackburn, P., & Marx, M. (2001). Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66(3), 977–1010.

    Article  Google Scholar 

  • Blackburn, P. (2000). Representation, reasoning, and relational structures: A hybrid logic manifesto. Logic Journal of IGPL, 8(3), 339–365.

    Article  Google Scholar 

  • Blackburn, P., & ten Cate, B. D. (2006). Pure extensions, proof rules, and hybrid axiomatics. Studia Logica, 84(2), 277–322.

    Article  Google Scholar 

  • Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press.

    Google Scholar 

  • Braüner, T. (2011). Hybrid logic and its proof theory. Berlin: Springer.

    Book  Google Scholar 

  • Braüner, T. (2005). Natural deduction for first-order hybrid logic. Journal of Logic, Language and Information, 14, 173.

    Article  Google Scholar 

  • Braüner, T., & de Paiva, V. (2006). Intuitionistic hybrid logic. Journal of Applied Logic, 4(3), 231–255.

    Article  Google Scholar 

  • Fitting, M., & Mendelsohn, R. L. (1998). First-order modal logic. Dordrecht: Kluwer.

    Book  Google Scholar 

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

    Google Scholar 

  • Indrzejczak, A. (2007). Modal hybrid logic. Logic and Logical Philosophy, 16, 147–257.

    Article  Google Scholar 

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

Download references

Acknowledgments

The authors express their gratitude to the anonymous reviewer for useful comments and corrections.

Author information

Authors and Affiliations

  1. HASLab, High Assurance Software Laboratory, INESC TEC & Universidade do Minho, Braga, Portugal

    Luís S. Barbosa

  2. CIDMA, Center for R&D in Mathematics and Applications, Department of Mathematics, University of Aveiro, Aveiro, Portugal

    Manuel A. Martins

  3. SAP, Nearshore Center Portugal, Lisboa, Portugal

    Marta Carreteiro

Authors
  1. Luís S. Barbosa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manuel A. Martins
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marta Carreteiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Manuel A. Martins.

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

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10849-013-9184-6

Keywords

Search

Navigation