Topos Semantics for Higher-Order Modal Logic

DOI10.2143/LEA.228.0.3078176zbMath1364.03092arXiv1403.0020MaRDI QIDQ2974975

Hans-Christoph Kotzsch, Kohei Kishida, Steven Awodey

Publication date: 11 April 2017

Full work available at URL: https://arxiv.org/abs/1403.0020

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (5)

AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Doctrines, modalities and comonads ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ Unnamed Item ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics

This page was built for publication: Topos Semantics for Higher-Order Modal Logic