arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† - Kishida - Document - PDFSEARCH.IO

First Page	Meta Content
	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Document Date: 2014-07-29 07:19:05 Open Document File Size: 411,36 KB Share Result on Facebook Facility University of Oxford / / IndustryTerm conventional systems / / Organization Department of Philosophy / University of Oxford / Carnegie Mellon University Department of Computer Science / Munich Center for Mathematical Philosophy / / Person David Lewis / Hans-Christoph Kotzsch‡ March / Dana Scott / / Position first author / / ProgrammingLanguage K / / Technology dom / / SocialTag Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory

arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida†Add to Reading List