A Hilbert-style axiomatisation for equational hybrid logic

DOI10.1007/S10849-013-9184-6zbMATH Open1305.03017OpenAlexW2104202457MaRDI QIDQ2255232FDOQ2255232

Manuel A. Martins, L. S. Barbosa, Marta Carreteiro

Publication date: 9 February 2015

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1822/33739

Recommendations

• A proof-theoretic study of the correspondence of hybrid logic and classical logic
• Modal Hybrid Logic
• Birkhoff style calculi for hybrid logics
• Axiomatizations for propositional and modal team logic
• Algebraization of Hybrid Logic with Binders

zbMATH Keywords

completenessequational hybrid logicHilbert axiomatisation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• Modal logic
• Title not available (Why is that?)
• First-order modal logic
• Hybrid logics: Characterization, interpolation and complexity
• Natural deduction for first-order hybrid logic
• Hybrid logic and its proof-theory
• Intuitionistic hybrid logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Pure extensions, proof rules, and hybrid axiomatics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hybridization of Institutions
• Modal Hybrid Logic
• Hybrid Specification of Reactive Systems: An Institutional Approach

Cited In (6)

• Completeness in equational hybrid propositional type theory
• Hybrid logics with Sahlqvist axioms
• Title not available (Why is that?)
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Title not available (Why is that?)
• An efficient approach to nominal equalities in hybrid logic tableaux

This page was built for publication: A Hilbert-style axiomatisation for equational hybrid logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2255232)