Hybridizing concept languages

DOI10.1023/A:1018988913388zbMath0919.03016OpenAlexW1555187222MaRDI QIDQ1286394

Miroslava Tzakova, Patrick Blackburn

Publication date: 23 August 1999

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018988913388

zbMATH Keywords

hybridizationmodal operatorsuniversal modalityhybrid languagesexpressivity of concept languagesfirst-order knowledge basesrepresentation of queriesvariables across individuals

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (6)

Games for hybrid logic. From semantic games to analytic calculi ⋮ The expressibility of fragments of hybrid graph logic on finite digraphs ⋮ Reichenbach, Prior and hybrid tense logic ⋮ Model checking for hybrid logic ⋮ Reasoning with nominal schemas through absorption ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

This page was built for publication: Hybridizing concept languages