Pages that link to "Item:Q1163537"
From MaRDI portal
The following pages link to Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model (Q1163537):
Displaying 4 items.
- Irreflexive modality as a new logical connective in the Dummett logic (Q467677) (← links)
- Irreflexive modality, the Dummett logic, and continual chains (Q721381) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)