Corfield, David (2018) Modal homotopy type theory. [Preprint]
|
Text
4Modal.pdf Download (479kB) | Preview |
Abstract
Chapter IV of a book which looks to demonstrate what philosophy can gain from the new formal language of modal homotopy type theory. Here I explore how we should understand the addition of modalities to homotopy type theory. This chapter will sit between modified versions of http://philsci-archive.pitt.edu/13448/ and http://philsci-archive.pitt.edu/11809/.
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Preprint | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| Keywords: | modal logic, type theory, homotopy type theory | ||||||
| Subjects: | Specific Sciences > Mathematics > Logic | ||||||
| Depositing User: | Dr. David Corfield | ||||||
| Date Deposited: | 05 Nov 2018 18:34 | ||||||
| Last Modified: | 05 Nov 2018 18:34 | ||||||
| Item ID: | 15260 | ||||||
| Subjects: | Specific Sciences > Mathematics > Logic | ||||||
| Date: | November 2018 | ||||||
| URI: | https://philsci-archive.pitt.edu/id/eprint/15260 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}