TOPOS SEMANTICS FOR HIGHER-ORDER MODAL LOGIC
Awodey, Steve ; Kishida, Kohei ; Kotzsch, Hans-Christoph
Logique et analyse, 2014-12, Vol.57 (228), p.591-636
[Periódico revisado por pares]
Centre National Belge de Recherches de Logique
Texto completo disponível