期刊
SYNTHESE
卷 198, 期 2, 页码 933-956出版社
SPRINGER
DOI: 10.1007/s11229-018-02076-7
关键词
Awareness logic; Hyperintensionality; Hyperintensional logic; Hyperintensional modalities; Impossible worlds; Modal logic; Non-Fregean logic; Structured propositions
资金
- long-term strategic development financing of the Institute of Computer Science [RVO:67985807]
The study introduces a general representation of unary hyperintensional modalities and explores various hyperintensional modal logics based on this representation. It concludes that existing approaches to hyperintensionality correspond to special cases of the general framework. Completeness results for the hyperintensional modal logics are established.
We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据