C. Areces and B. Ten-cate, Hybrid logics Handbook of Modal Logics, 2006.

P. Baltazar, Probabilization of Logics: Completeness and Decidability, Logica Universalis, vol.19, issue.6, pp.403-440, 2013.
DOI : 10.1093/logcom/exp031

P. Blackburn and M. De-rijke, Why combine logics?, Studia Logica, vol.59, issue.1, pp.5-27, 1997.
DOI : 10.1023/A:1004991115882

C. Caleiro, P. Mateus, A. Sernadas, and C. Sernadas, Quantum Institutions, Algebra, Meaning, and Computation, pp.50-64, 2006.
DOI : 10.1007/11780274_4

C. Caleiro, A. Sernadas, C. Sernadas, S. N. Artëmov, and H. Barringer, Fibring Logics, We Will Show Them! Essays in Honour of Dov Gabbay, pp.363-388, 2005.
DOI : 10.1007/978-3-0346-0145-0_29

C. Caleiro, C. Sernadas, and A. Sernadas, Parameterisation of Logics, Lecture Notes in Computer Science, vol.67, issue.1, pp.48-62, 1998.
DOI : 10.1007/BFb0000490

W. Carnielli and M. E. Coniglio, Combining logics, The Stanford Encyclopedia of Philosophy, 2011.

M. V. Cengarle, The temporal logic institution, Tech. Rep, vol.9805, 1998.

C. Cîrstea, An institution of modal logics for coalgebras, The Journal of Logic and Algebraic Programming, vol.67, issue.1-2, pp.87-113, 2006.
DOI : 10.1016/j.jlap.2005.09.004

R. Diaconescu and A. Madeira, Encoding hybridized institutions into first-order logic, Mathematical Structures in Computer Science, vol.35, issue.05, pp.745-788, 2016.
DOI : 10.1007/3-540-10007-5_41

R. Diaconescu and P. Stefaneas, Ultraproducts and possible worlds semantics in institutions, Theoretical Computer Science, vol.379, issue.1-2, pp.210-230, 2007.
DOI : 10.1016/j.tcs.2007.02.068
URL : https://doi.org/10.1016/j.tcs.2007.02.068

M. Finger and D. Gabbay, Adding a temporal dimension to a logic system, Journal of Logic, Language and Information, vol.17, issue.4, pp.203-233, 1992.
DOI : 10.1007/978-94-009-6259-0_3
URL : http://www.dcs.kcl.ac.uk/staff/dg/090-adding.pdf

M. Fitting, Logics With Several Modal Operators, Theoria, vol.12, issue.3, pp.259-266, 1969.
DOI : 10.1111/j.1755-2567.1969.tb00372.x

D. Gabbay, Fibred Semantics and the Weaving of Logics, Journal of Symbolic Logic, vol.61, issue.4, pp.1057-1120, 1996.
DOI : 10.1007/978-3-0346-0145-0_30

D. G?in?, Birkhoff style calculi for hybrid logics. Formal Asp, Comput. pp, pp.1-28, 2017.

J. A. Goguen, A categorical manifesto, Mathematical Structures in Computer Science, vol.279, issue.01, pp.49-67, 1991.
DOI : 10.1007/3-540-50667-5_71

J. A. Goguen and R. M. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992.
DOI : 10.1145/147508.147524

J. A. Goguen and J. Meseguer, Models and equality for logical programming, Lecture Notes in Computer Science, vol.87, issue.250, pp.1-22, 1987.
DOI : 10.1007/BFb0014969

A. Madeira, M. A. Martins, L. S. Barbosa, and R. Hennicker, Refinement in hybridised institutions. Formal Asp, Comput, vol.27, issue.2, pp.375-395, 2015.

M. A. Martins, A. Madeira, R. Diaconescu, and L. S. Barbosa, Hybridization of Institutions, Lecture Notes in Computer Science, vol.6859, pp.283-297, 2011.
DOI : 10.1007/978-3-642-22944-2_20

T. Mossakowski, J. Goguen, R. Diaconescu, and A. Tarlecki, What is a logic?, Birkhäuser Basel, pp.111-133, 2007.

T. Mossakowski, C. Maeder, and K. Lüttich, The Heterogeneous Tool Set, Hets, TACAS. Lecture Notes in Computer Science, vol.4424, pp.519-522, 2007.
DOI : 10.1007/978-3-540-71209-1_40

T. Mossakowski and M. Roggenbach, Structured CSP ??? A Process Algebra as an Institution, Lecture Notes in Computer Science, vol.4409, pp.92-110, 2007.
DOI : 10.1007/978-3-540-71998-4_6

R. Neves, A. Madeira, L. S. Barbosa, and M. A. Martins, Asymmetric combination of logics is functorial: A survey (extended version). arXiv preprint, 2017.

R. Neves, A. Madeira, M. Martins, and L. Barbosa, An Institution for Alloy and Its Translation to Second-Order Logic, Integration of Reusable Systems, pp.45-75, 2014.
DOI : 10.1007/978-3-319-04717-1_3

R. Neves, A. Madeira, M. A. Martins, and L. S. Barbosa, Hybridisation at Work, In: CALCO TOOLS. Lecture Notes in Computer Science, vol.8089, 2013.
DOI : 10.1007/978-3-642-40206-7_28

R. Neves, A. Madeira, M. A. Martins, and L. S. Barbosa, Proof theory for hybrid(ised) logics, Science of Computer Programming, vol.126, pp.73-93, 2016.
DOI : 10.1016/j.scico.2016.03.001

R. Neves, M. A. Martins, and L. S. Barbosa, Completeness and Decidability Results for Hybrid(ised) Logics, Lecture Notes in Computer Science, vol.8941, pp.146-161, 2015.
DOI : 10.1007/978-3-319-15075-8_10
URL : http://ria.ua.pt/bitstream/10773/15065/1/submittedversion.pdf

J. Rasga, A. Sernadas, and C. Sernadas, Importing Logics: Soundness and Completeness Preservation, Studia Logica, vol.8, issue.3, pp.117-155, 2013.
DOI : 10.1017/S0960129598002540
URL : http://sqig.math.ist.utl.pt/pub/RasgaJ/11-RSS-gtf07c.pdf

D. Sannella and A. Tarlecki, Foundations of Algebraic Specification and Formal Software Development, EATCS Monographs on theoretical computer science, 2012.
DOI : 10.1007/978-3-642-17336-3

K. Segerberg, Two-dimensional modal logic, Journal of Philosophical Logic, vol.33, issue.1, pp.77-96, 1973.
DOI : 10.1007/BF02115610

A. Sernadas, C. Sernadas, and C. Caleiro, Fibring of logics as a categorial construction, Journal of Logic and Computation, vol.9, issue.2, pp.149-179, 1999.
DOI : 10.1093/logcom/9.2.149

R. H. Thomason, Combinations of tense and modality Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, Reidel, pp.135-165, 1984.