Pages that link to "Item:Q817705"
From MaRDI portal
The following pages link to Cut elimination for S4C: A case study (Q817705):
Displaying 4 items.
- The modal logic of continuous functions on Cantor space (Q862352) (← links)
- Cut-elimination for weak Grzegorczyk logic Go (Q2016062) (← links)
- The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination (Q5172141) (← links)
- Embedding theorems for LTL and its variants (Q5740619) (← links)