Hybrid completeness

DOI10.1093/JIGPAL/6.4.625MaRDI QIDQ4210769zbMATH OpenOpenAlexFDO

Authors Patrick Blackburn, Miroslava Tzakova

Publication date 19 January 1999

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

Full work available at URL https://semanticscholar.org/paper/0467a56aaefe634b78d5315fb9dbd14601589d44

zbMATH Keywords

completenessKripke semanticsmodal operatorshybrid languagescomplete axiomatizationsanalogs of the Barcan axiomsextended modal logicmodal theory of labeling

Mathematics Subject Classification ID

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

Recommendations

• Pure extensions, proof rules, and hybrid axiomatics
• Hybrid logics with Sahlqvist axioms
• scientific article; zbMATH DE number 1424043
• Completeness in hybrid type theory

Cited in

(12)

• Completeness Results for Memory Logics
• Completeness results for memory logics
• Remarks on Gregory's ``actually operator
• Stream fusion, to completeness
• A proof-theoretic study of the correspondence of hybrid logic and classical logic
• Many-sorted hybrid modal languages
• A completeness result for relation algebra with binders
• On the width of hybrid zones
• Pure extensions, proof rules, and hybrid axiomatics
• Temporal Logics with Reference Pointers and Computation Tree Logics
• Synthetic completeness proofs for Seligman-style tableau systems
• Hybrid logics: Characterization, interpolation and complexity

This page was built for publication: Hybrid completeness

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