Goal-Oriented Modality in Type Theory with Records
Linguistic Issues in Language Technology（2016）
摘要
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).
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要