{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:30:16Z","timestamp":1775097016057,"version":"3.50.1"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,1,12]],"date-time":"2014-01-12T00:00:00Z","timestamp":1389484800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1007\/s10849-013-9184-6","type":"journal-article","created":{"date-parts":[[2014,1,11]],"date-time":"2014-01-11T01:16:04Z","timestamp":1389402964000},"page":"31-52","source":"Crossref","is-referenced-by-count":8,"title":["A Hilbert-Style Axiomatisation for Equational Hybrid Logic"],"prefix":"10.1007","volume":"23","author":[{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Carreteiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,1,12]]},"reference":[{"issue":"3","key":"9184_CR1","doi-asserted-by":"crossref","first-page":"977","DOI":"10.2307\/2695090","volume":"66","author":"C Areces","year":"2001","unstructured":"Areces, C., Blackburn, P., & Marx, M. (2001). Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66(3), 977\u20131010.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9184_CR2","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P. (2000). Representation, reasoning, and relational structures: A hybrid logic manifesto. Logic Journal of IGPL, 8(3), 339\u2013365.","journal-title":"Logic Journal of IGPL"},{"issue":"2","key":"9184_CR3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s11225-006-9009-6","volume":"84","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P., & ten Cate, B. D. (2006). Pure extensions, proof rules, and hybrid axiomatics. Studia Logica, 84(2), 277\u2013322.","journal-title":"Studia Logica"},{"key":"9184_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press."},{"key":"9184_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid logic and its proof theory","author":"T Bra\u00fcner","year":"2011","unstructured":"Bra\u00fcner, T. (2011). Hybrid logic and its proof theory. Berlin: Springer."},{"key":"9184_CR6","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s10849-005-3927-y","volume":"14","author":"T Bra\u00fcner","year":"2005","unstructured":"Bra\u00fcner, T. (2005). Natural deduction for first-order hybrid logic. Journal of Logic, Language and Information, 14, 173.","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"9184_CR7","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/j.jal.2005.06.009","volume":"4","author":"T Bra\u00fcner","year":"2006","unstructured":"Bra\u00fcner, T., & de Paiva, V. (2006). Intuitionistic hybrid logic. Journal of Applied Logic, 4(3), 231\u2013255.","journal-title":"Journal of Applied Logic"},{"key":"9184_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-order modal logic","author":"M Fitting","year":"1998","unstructured":"Fitting, M., & Mendelsohn, R. L. (1998). First-order modal logic. Dordrecht: Kluwer."},{"key":"9184_CR9","unstructured":"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\u2013307). Dordrecht: Reidel."},{"key":"9184_CR10","unstructured":"Goranko, V., & Vakarelov, D. (1998). Modal logic and universal algebra i: Modal axiomatizations of structures. Advances in Modal Logic, 247\u2013274."},{"key":"9184_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal algebra","author":"G Gr\u00e4tzer","year":"1979","unstructured":"Gr\u00e4tzer, G. (1979). Universal algebra (2nd ed.). Berlin: Springer.","edition":"2"},{"key":"9184_CR12","doi-asserted-by":"crossref","first-page":"147","DOI":"10.12775\/LLP.2007.006","volume":"16","author":"A Indrzejczak","year":"2007","unstructured":"Indrzejczak, A. (2007). Modal hybrid logic. Logic and Logical Philosophy, 16, 147\u2013257.","journal-title":"Logic and Logical Philosophy"},{"key":"9184_CR13","doi-asserted-by":"crossref","unstructured":"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\u201911). Springer Lecture Notes Computer Science 7041, pp. 250\u2013259.","DOI":"10.1007\/978-3-642-24690-6_19"},{"key":"9184_CR14","unstructured":"Manzano, M., Martins, M.A., & Huertas, A. (2012). Equational hybrid type theory. In T. Bolander, T. Bra\u00fcner, S. Ghilardi & L. Moss (Eds.) In proceedings of 9th advances in modal logic (AiML\u201912) short presentations (pp. 37\u201341). Copenhagen."},{"key":"9184_CR15","unstructured":"Martins, M. A., Madeira, A., & Barbosa, L. S. (2012). Towards a semantics for infinitary equational hybrid logic. In T. Bolander, T. Bra\u00fcner, S., Ghilardi & L. Moss (Eds.) In proceedings of 9th advances in modal logic (AiML\u201912) short presentations (pp. 42\u201346). Copenhagen."},{"key":"9184_CR16","doi-asserted-by":"crossref","unstructured":"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\u201911), pp. 283\u2013297. Springer Lecture Notes in Computer Science (6859).","DOI":"10.1007\/978-3-642-22944-2_20"},{"key":"9184_CR17","unstructured":"Tzanis, E. (2005). Algebraizing hybrid logic. Master\u2019s thesis, Faculty Faculty of Science Institute\/dept. FNWI\/FGw: Institute for Logic, Language and Computation (ILLC)."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-013-9184-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-013-9184-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-013-9184-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T15:14:24Z","timestamp":1688915664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-013-9184-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,12]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["9184"],"URL":"https:\/\/doi.org\/10.1007\/s10849-013-9184-6","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,12]]}}}