A Hilbert-style axiomatisation for equational hybrid logic

DOI10.1007/S10849-013-9184-6MaRDI QIDQ2255232zbMATH OpenOpenAlexFDO

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

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

zbMATH Keywords

completenessequational hybrid logicHilbert axiomatisation

Mathematics Subject Classification ID

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

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

Cites work

• First-order modal logic
• scientific article; zbMATH DE number 1735879 (Why is no real title available?)
• scientific article; zbMATH DE number 1028834 (Why is no real title available?)
• scientific article; zbMATH DE number 6399373 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• Hybrid logic and its proof-theory
• Hybrid logics: Characterization, interpolation and complexity
• Hybrid specification of reactive systems: an institutional approach
• Hybridization of institutions
• Intuitionistic hybrid logic
• Modal Hybrid Logic
• Modal logic
• Natural deduction for first-order hybrid logic
• Pure extensions, proof rules, and hybrid axiomatics
• Representation, reasoning, and relational structures: a hybrid logic manifesto

Cited in

(9)

• Completeness in equational hybrid propositional type theory
• An efficient approach to nominal equalities in hybrid logic tableaux
• scientific article; zbMATH DE number 6979315 (Why is no real title available?)
• scientific article; zbMATH DE number 6399373 (Why is no real title available?)
• Hybrid logics with Sahlqvist axioms
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Modality across different logics
• Hybrid many-sorted modal logic with nominal terms
• Training as inference: using hybrid modal logic for specifying neural networks

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)