Pages that link to "Item:Q2974975"
From MaRDI portal
The following pages link to Topos Semantics for Higher-Order Modal Logic (Q2974975):
Displayed 5 items.
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- (Q5019299) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)