Download PDFOpen PDF in browserGeneral Topos Semantics for Higher-Order Modal Logic3 pages•Published: July 28, 2014AbstractTopos-theoretic semantics for modal logic usually uses structures induced by a surjective geometric morphism between toposes. This talk develops an algebraic generalization of this framework. We take internal adjoints between certain internal frames within a topos, which provides semantics for (intuitionistic) higher-oder modal logic.Keyphrases: categorical logic, higher order modal logic, topos theoretic semantics In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 14-16.
|