Hybrid completeness

DOI10.1093/jigpal/6.4.625zbMath0904.03009OpenAlexW4247128344MaRDI QIDQ4210769

Miroslava Tzakova, Patrick Blackburn

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

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)

Related Items

Pure extensions, proof rules, and hybrid axiomatics ⋮ Completeness results for memory logics ⋮ A Completeness Result for Relation Algebra with Binders ⋮ Hybrid logics: characterization, interpolation and complexity ⋮ Completeness Results for Memory Logics ⋮ Many-sorted hybrid modal languages ⋮ A proof-theoretic study of the correspondence of hybrid logic and classical logic ⋮ Temporal Logics with Reference Pointers and Computation Tree Logics