A proof-theoretic study of the correspondence of hybrid logic and classical logic

DOI10.1007/s10849-006-9023-0zbMath1160.03316OpenAlexW2086155768MaRDI QIDQ1006454

J. Martínez

Publication date: 24 March 2009

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

Full work available at URL: https://doi.org/10.1007/s10849-006-9023-0

zbMATH Keywords

Proof theoryClassical logicHybrid logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Classical first-order logic (03B10) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. 2nd ed
• Two natural deduction systems for hybrid logic: A comparison
• Natural deduction for first-order hybrid logic
• Hybrid logics: characterization, interpolation and complexity
• Internalization: The Case of Hybrid Logics
• Tableau-based Decision Procedures for Hybrid Logic
• Hybrid completeness
• Hybrid languages and temporal logic
• A proof-theoretic study of the correspondence of classical logic and modal logic
• Natural Deduction for Hybrid Logic
• Internalizing labelled deduction

This page was built for publication: A proof-theoretic study of the correspondence of hybrid logic and classical logic