TitleNeighborhood semantics for logic of knowing how
AuthorsLi, Yanjun
Wang, Yanjing
AffiliationNankai Univ, Coll Philosophy, Tianjin, Peoples R China
Peking Univ, Inst Foreign Philosophy, Beijing, Peoples R China
Peking Univ, Dept Philosophy, Beijing, Peoples R China
Issue DateMay-2021
AbstractIn this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al. (Proc IJCAI 2017:1031-1038, 2017), based on a class of Kripke neighborhood models with both the epistemic relations and neighborhood structures. This alternative semantics is inspired by the same quantifier alternation pattern of there exists for all in the semantics of the know-how modality and the (monotonic) neighborhood semantics for the standard modality. We show that this new semantics is equivalent to the original Kripke semantics in terms of the validities. A key result is a representation theorem showing that the more abstract Kripke neighborhood models can be represented by the concrete Kripke models with action transitions modulo the valid formulas. We prove the completeness of the logic for the neighborhood semantics. The neighborhood semantics can be adapted to other variants of logics of knowing how. It provides us a powerful technical tool to study these logics while preserving the basic semantic intuition.
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®

Checked on Last Week


Checked on Current Time


Checked on Current Time

Google Scholar™

License: See PKU IR operational policies.