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

analogs of the Barcan axiomscomplete axiomatizationscompletenessextended modal logichybrid languagesKripke semanticsmodal operatorsmodal 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

(15)

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

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)