Recent searches
Search options
Does anyone know of a nice introduction to topological semantics of first-order intuitionistic logic?
(I've searched but didn't find anything good, maybe I'm using the wrong keywords.)
@leonardopacheco not intuitionistic but the next best thing: S4. https://doi.org/10.1017/S1755020308080143
@leonardopacheco I also had trouble finding a good reference for this in the past. Please let me know if you find anything!
@Convention_T I still didn't find anything newish, and I suspect there is nothing. There are some older texts, but they are quite hard to read. I'll share if I find anything