加载中…
Prior proposes the term “egocentric” for logical systems that study properties of agents rather than properties of possible worlds. In such a setting, the paper introduces two different modalities capturing de re and de dicto knowledge and proves that these two modalities are not definable through each other.

生成讲解博客的中文版本

生成AI智能校验的中文版本