A complete tableau system for basic hybrid logic with propositional quantification

DOI10.1093/JIGPAL/JZAG022MaRDI QIDQ7256531zbMATH OpenFDO

Authors Julie Lundbak Kofod, Patrick Blackburn, Torben Braüner

Publication date 2 June 2026

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAG022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• An axiom system for basic hybrid logic with propositional quantifiers
• An incomplete logic containing S4
• Completeness in the theory of types
• scientific article; zbMATH DE number 3125693 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• Hybrid logic and its proof-theory
• Internalizing labelled deduction
• Logic and structure
• Methods of cut-elimination
• Modal logic
• Prior's ideal language
• Proof analysis in modal logic
• Proof methods for modal and intuitionistic logics
• Propositional quantifiers in modal logic1
• Semantic analysis of tense logics
• The expressive power of second-order propositional modal logic
• The idea of a proof-theoretic semantics and the meaning of the logical operations

This page was built for publication: A complete tableau system for basic hybrid logic with propositional quantification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7256531)