Formalizing a Seligman-style tableau system for hybrid logic (short paper)
type: Item
instance of: scholarly article
title: Formalizing a Seligman-style tableau system for hybrid logic (short paper)
DOI: 10.1007/978-3-030-51074-9_27
author: Asta Halkjær From
author: Patrick Blackburn
author: Jørgen Villadsen
publication date: 2022-11-09T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7614529
zbMATH Keywords: Isabelle/HOL
zbMATH Keywords: hybrid logic
zbMATH Keywords: soundness
zbMATH Keywords: completeness
describes a project that uses: Isabelle/HOL
describes a project that uses: Archive Formal Proofs
MaRDI profile type: Publication
full work available at URL: 978-3-030-51074-9 27
OpenAlex ID: W3013165824
cites work: Hybrid logics: Characterization, interpolation and complexity
cites work: Representation, reasoning, and relational structures: a hybrid logic manifesto
cites work: Completeness and termination for a Seligman-style tableau system
cites work: Soundness and completeness proofs by coinductive methods
cites work: Termination for Hybrid Tableaus
cites work: Hybrid logic and its proof-theory
cites work: Constructive Formalization of Hybrid Logic with Eventualities
cites work: Proof methods for modal and intuitionistic logics
cites work: Hybrid logics and ontology languages
cites work: Q4636041
cites work: Proof Theory of a Multi-Lane Spatial Logic
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Formalization of the Resolution Calculus for First-Order Logic
cites work: Q4394920
cites work: Internalization: The case of hybrid logics
cites work: Q5560258
description: scientific article; zbMATH DE number 7614529