Constructive Description Logics Hybrid-Style

DOI10.1016/j.entcs.2011.06.010zbMath1260.68389OpenAlexW2055253305WikidataQ56994502 ScholiaQ56994502MaRDI QIDQ4917077

Edward Hermann Haeusler, Alexandre Rademaker, V. C. V. 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) Logic in artificial intelligence (68T27) Combined logics (03B62)

Related Items

Bridges from Language to Logic: Concepts, Contexts and Ontologies

Cites Work

• Proof analysis in modal logic
• Towards constructive DL for abstraction and refinement
• Intuitionistic hybrid logic
• Embedding Constructive K into Intuitionistic K
• Actions Over a Constructive Semantics for Description Logics
• A sequent calculus for reasoning in four-valued Description Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item