Grothendieck topology as geometric modality. (English) Zbl 0474.03018
MSC:
03C99 | Model theory |
03B45 | Modal logic (including the logic of norms) |
18F10 | Grothendieck topologies and Grothendieck topoi |
03G30 | Categorical logic, topoi |
03C99 | Model theory |
03B45 | Modal logic (including the logic of norms) |
18F10 | Grothendieck topologies and Grothendieck topoi |
03G30 | Categorical logic, topoi |