Pages that link to "Item:Q1182706"
From MaRDI portal
The following pages link to A topos-theoretic approach to reference and modality (Q1182706):
Displayed 7 items.
- Modes of adjointness (Q484110) (← links)
- Formal systems for modal operators on locales (Q1319366) (← links)
- Functoriality and grammatical role in syllogisms (Q1333307) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Bi-Heyting algebras, toposes and modalities (Q1914371) (← links)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)