Towards constructive DL for abstraction and refinement

DOI10.1007/s10817-009-9151-8zbMath1197.03029MaRDI QIDQ972423

Michael Mendler, Stephan Scheele

Publication date: 26 May 2010

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-009-9151-8

zbMATH Keywords

Curry-Howard isomorphism; auditing; constructive description logic; Gentzen tableau calculus

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

Related Items

Constructive Description Logics Hybrid-Style, Bridges from Language to Logic: Concepts, Contexts and Ontologies, Cut-free Gentzen calculus for multimodal CK, Towards constructive DL for abstraction and refinement, The Došen square under construction: a tale of four modalities, KALC: a constructive semantics for ALC, Embedding Constructive K into Intuitionistic K, Implementation of hierarchical single surface δ0 and δ1 models in finite element procedure

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive modal logics. I
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Towards constructive DL for abstraction and refinement
• A four-valued semantics for terminological logics
• Constructivism in mathematics. An introduction. Volume II
• Many-dimensional modal logics: theory and applications
• A survey of temporal extensions of description logics
• Intuitionistic hybrid logic
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Intuitionistic tense and modal logic
• A Logic for Partial System Description