Hybrid completeness
From MaRDI portal
Publication:4210769
DOI10.1093/jigpal/6.4.625zbMath0904.03009MaRDI QIDQ4210769
Patrick Blackburn, Miroslava Tzakova
Publication date: 19 January 1999
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0467a56aaefe634b78d5315fb9dbd14601589d44
completeness; Kripke semantics; modal operators; hybrid languages; complete axiomatizations; analogs of the Barcan axioms; extended modal logic; modal theory of labeling
03B45: Modal logic (including the logic of norms)
Related Items
Temporal Logics with Reference Pointers and Computation Tree Logics, A Completeness Result for Relation Algebra with Binders, Completeness results for memory logics, Pure extensions, proof rules, and hybrid axiomatics, A proof-theoretic study of the correspondence of hybrid logic and classical logic, Hybrid logics: characterization, interpolation and complexity, Completeness Results for Memory Logics