PhilSci Archive

Modal homotopy type theory

Corfield, David (2018) Modal homotopy type theory. [Preprint]

[img]
Preview
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:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Corfield, Davidd.corfield@kent.ac.uk
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 View Item