The following pages link to Stephan Scheele (Q764258):
Displayed 4 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)
- On the Computational Interpretation of CKn for Contextual Information Processing (Q5416731) (← links)