A New Modal Framework for Epistemic Logic
Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of \exists x \Box φ, e.g., knowing how to achieve...
| 主要作者: | |
|---|---|
| 格式: | 文件 |
| 语言: | English |
| 出版: |
Open Publishing Association
2017-07-01
|
| 丛编: | Electronic Proceedings in Theoretical Computer Science |
| 在线阅读: | http://arxiv.org/pdf/1707.08764v1 |