A Hilbert-style axiomatisation for equational hybrid logic

DOI10.1007/s10849-013-9184-6zbMath1305.03017OpenAlexW2104202457MaRDI QIDQ2255232

Manuel A. Martins, Marta Carreteiro, Luís Soares 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)

Related Items (1)

Completeness in equational hybrid propositional type theory

Cites Work

• Pure extensions, proof rules, and hybrid axiomatics
• Natural deduction for first-order hybrid logic
• First-order modal logic
• Intuitionistic hybrid logic
• Hybrid logics: characterization, interpolation and complexity
• Hybridization of Institutions
• Hybrid Specification of Reactive Systems: An Institutional Approach
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Modal Hybrid Logic
• Hybrid logic and its proof-theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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