Constructive description logics hybrid-style

DOI10.1016/J.ENTCS.2011.06.010MaRDI QIDQ4917077zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Edward Hermann Haeusler, Alexandre Rademaker, Valeria de Paiva

Publication date 26 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2011.06.010

Mathematics Subject Classification ID

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

Recommendations

• A Decidable Constructive Description Logic
• Intuitionistic hybrid logic
• \({\mathcal KALC}\): a constructive semantics for \({\mathcal ALC}\)
• Towards constructive DL for abstraction and refinement
• scientific article; zbMATH DE number 3841820

Cites work

• A sequent calculus for reasoning in four-valued description logics
• Actions over a constructive semantics for description logics
• Embedding constructive K into intuitionistic K
• scientific article; zbMATH DE number 67503 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 768046 (Why is no real title available?)
• Intuitionistic hybrid logic
• Proof analysis in modal logic
• Towards constructive DL for abstraction and refinement

Cited in

(8)

• Description logics with contraries, contradictories, and subcontraries
• \({\mathcal KALC}\): a constructive semantics for \({\mathcal ALC}\)
• Constructive Formalization of Hybrid Logic with Eventualities
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• A Decidable Constructive Description Logic
• Bridges from language to logic: concepts, contexts and ontologies
• Non-distributive description logic
• \(\mathcal {BCDL}\): Basic constructive description logic

This page was built for publication: Constructive description logics hybrid-style

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