Pages that link to "Item:Q972423"
From MaRDI portal
The following pages link to Towards constructive DL for abstraction and refinement (Q972423):
Displayed 8 items.
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- <i>KALC</i>: a constructive semantics for <i>ALC</i> (Q2901214) (← links)
- Embedding Constructive K into Intuitionistic K (Q3185769) (← links)
- Implementation of hierarchical single surface δ0 and δ1 models in finite element procedure (Q4006700) (← links)
- Constructive Description Logics Hybrid-Style (Q4917077) (← links)
- Bridges from Language to Logic: Concepts, Contexts and Ontologies (Q5179013) (← links)