Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch. General Topos Semantics for Higher-Order Modal Logic. In Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis, editors, TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013. Volume 25 of EPiC Series, pages 14-16, EasyChair, 2013. [doi]
@inproceedings{AwodeyKK13,
title = {General Topos Semantics for Higher-Order Modal Logic},
author = {Steve Awodey and Kohei Kishida and Hans-Christoph Kotzsch},
year = {2013},
url = {http://www.easychair.org/publications/?page=614792451},
researchr = {https://researchr.org/publication/AwodeyKK13},
cites = {0},
citedby = {0},
pages = {14-16},
booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013},
editor = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
volume = {25},
series = {EPiC Series},
publisher = {EasyChair},
}