Topos semantics for higher-order modal logic

Steve Awodey; Kohei Kishida; Hans Christoph Kotzsch

doi:10.2143/LEA.228.0.3078176

Topos semantics for higher-order modal logic

Steve Awodey, Kohei Kishida, Hans Christoph Kotzsch

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	591-636
Number of pages	46
Journal	Logique et Analyse
Volume	57
Issue number	228
DOIs	https://doi.org/10.2143/LEA.228.0.3078176
State	Published - Dec 1 2014
Externally published	Yes

ASJC Scopus subject areas

Philosophy

Online availability

10.2143/LEA.228.0.3078176

Library availability

Discover UIUC Full Text

Cite this

@article{3c257027c3ef4367a6b578d76ce48ff6,

title = "Topos semantics for higher-order modal logic",

author = "Steve Awodey and Kohei Kishida and Kotzsch, {Hans Christoph}",

year = "2014",

month = dec,

day = "1",

doi = "10.2143/LEA.228.0.3078176",

language = "English (US)",

volume = "57",

pages = "591--636",

journal = "Logique et Analyse",

issn = "0024-5836",

publisher = "Nationaal Centrum voor Navorsingen in de Logica (Centre National Belge de Recherche de Logique)",

number = "228",

}

TY - JOUR

T1 - Topos semantics for higher-order modal logic

AU - Awodey, Steve

AU - Kishida, Kohei

AU - Kotzsch, Hans Christoph

PY - 2014/12/1

Y1 - 2014/12/1

UR - http://www.scopus.com/inward/record.url?scp=84930883885&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84930883885&partnerID=8YFLogxK

U2 - 10.2143/LEA.228.0.3078176

DO - 10.2143/LEA.228.0.3078176

M3 - Article

AN - SCOPUS:84930883885

SN - 0024-5836

VL - 57

SP - 591

EP - 636

JO - Logique et Analyse

JF - Logique et Analyse

IS - 228

ER -

Topos semantics for higher-order modal logic

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this