The following pages link to (Q4735194):
Displaying 5 items.
- A topos-theoretic approach to reference and modality (Q1182706) (← links)
- Formal systems for modal operators on locales (Q1319366) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Bi-Heyting algebras, toposes and modalities (Q1914371) (← links)
- (Q3978987) (← links)