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

DOI10.1007/s10849-006-9023-0zbMath1160.03316MaRDI 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 theory; Classical logic; Hybrid logic

Mathematics Subject Classification ID

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

03B60: Other nonclassical logic

03B10: Classical first-order logic

03F03: Proof theory in general (including proof-theoretic semantics)