A proof-theoretic study of the correspondence of hybrid logic and classical logic
type: Item
instance of: scholarly article
title: A proof-theoretic study of the correspondence of hybrid logic and classical logic
zbMATH Open document ID: 1160.03316
author: J. Martínez
published in: Journal of Logic, Language and Information
publication date: 2009-03-24T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 5532516
zbMATH Keywords: Proof theory
zbMATH Keywords: Hybrid logic
zbMATH Keywords: Classical logic
MaRDI profile type: Publication
full work available at URL: s10849-006-9023-0
OpenAlex ID: W2086155768
cites work: Hybrid logics: Characterization, interpolation and complexity
cites work: Q3781066
cites work: Internalizing labelled deduction
cites work: Q4412850
cites work: Modal logic
cites work: Hybrid completeness
cites work: Hybrid languages and temporal logic
cites work: Tableau-based Decision Procedures for Hybrid Logic
cites work: Two natural deduction systems for hybrid logic: A comparison
cites work: Natural Deduction for Hybrid Logic
cites work: Natural deduction for first-order hybrid logic
cites work: Q4215630
cites work: Q5813181
cites work: A proof-theoretic study of the correspondence of classical logic and modal logic
cites work: Q4394920
cites work: Internalization: The case of hybrid logics
cites work: Proof theory. 2nd ed
DOI: 10.1007/S10849-006-9023-0
description: scientific article; zbMATH DE number 5532516