Natural deduction for first-order hybrid logic
type: Item
instance of: scholarly article
title: Natural deduction for first-order hybrid logic
zbMATH Open document ID: 1068.03016
author: Torben Braüner
published in: Journal of Logic, Language and Information
publication date: 2005-05-13T00:00:00Z
review text: This paper is the first-order counterpart of the article ``Natural deduction for hybrid logic'' by the same author [J. Log. Comput. 14, 329--353 (2004; Zbl 1060.03036)]. In the present paper, a natural deduction calculus for first-order hybrid logic is studied. The underlying language is based on a multi-modal first-order language with identity and non-rigid designators and contains satisfaction operators \(a:\) as well as the hybrid binders \(\forall a\) and \(\downarrow a\), where \(a\) is any nominal. Also, geometric theories are taken into account. The results cover soundness, completeness and normalisation, as in the paper cited above. Finally, a Hilbert-style axiom system is introduced and proved to be sound and semantically complete.
reviewed by: Bernhard Heinemann
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 2168173
zbMATH Keywords: natural deduction
zbMATH Keywords: hybrid logic
zbMATH Keywords: first-order logic
zbMATH Keywords: normalisation
MaRDI profile type: Publication
full work available at URL: s10849-005-3927-y
OpenAlex ID: W1984084123
cites work: Repairing the interpolation theorem in quantified modal logic
cites work: Labelled propositional modal logics: theory and practice
cites work: Thematic issue on modal logic
cites work: Internalizing labelled deduction
cites work: Q4412850
cites work: Modal logic
cites work: Modal logic, truth, and the master modality.
cites work: Natural Deduction for Hybrid Logic
cites work: Two natural deduction systems for hybrid logic: A comparison
cites work: First-order modal logic
cites work: Q4789451
cites work: Q5559220
cites work: Q5632554
cites work: Q4394920
cites work: Q4716271
cites work: Q3994458
DOI: 10.1007/S10849-005-3927-Y
description: scientific article; zbMATH DE number 2168173