Goal-Oriented Modality in Type Theory with Records

Cleo Condoravdi, Robin Cooper

Abstract


This paper is not yet available. It will develop a type-theoretic version of the analysis of anankastic modality using possible worlds presented by Condoravdi and Lauer (2016) and Lauer and Condoravdi (2014). 


Keywords


type theory with records; anankastic modality; conditionals

Full Text:

PDF

Refbacks

  • There are currently no refbacks.