 previous article in this issue | next article in this issue  |
|
Document Details : Title: Topos Semantics for Higher-Order Modal Logic Author(s): AWODEY, Steve , KISHIDA, Kohei , KOTZSCH, Hans-Christoph Journal: Logique et Analyse Volume: 228 Date: 2014 Pages: 591-636 DOI: 10.2143/LEA.228.0.3078176 Abstract : not available |
 |
