Timeline for Grothendieck toposes and logic
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 10, 2017 at 10:36 | comment | added | godelian | The system for infinitary intuitionistic logic for $\mathcal{L}_{\kappa, \kappa}$, which is the one I mention in the answer (i.e., for infinite-quantifier languages), was introduced in my PhD thesis in 2016, so the only paper on that is the one I cited, which is still under review. A system for intuitionistic $\mathcal{L}_{\omega_1, \omega}$ is dealt with in Nadel's paper "Infinitary intuitionistic logic from a classical point of view". I'm not familiar with infinitary intuitionistic modal logic, but the papers on that I have seen only treat finite-quantifier languages. | |
| Jun 10, 2017 at 7:32 | comment | added | Evgeny Kuznetsov | Could you indicate the good introduction in infinitary intuitionistic logic and infinitary intuitionistic modal logic. | |
| Jun 6, 2017 at 14:38 | history | answered | godelian | CC BY-SA 3.0 |