11 citations · 40 across the 11 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2020★ 2 cited
Commonly Knowing Whether
Jie Fan, Davide Grossi, Barteld Kooi +2
This paper introduces the notion of `commonly knowing whether', a non-standard version of standard common knowledge which is defined on the basis of `knowing whether', instead of s…
cs.LO2015★ 7 cited
Logics of Essence and Accident
Jie Fan
In the literature, essence is formalized in two different ways, either de dicto, or de re. Following \cite{Marcos:2005}, we adopt its de dicto formalization: a formula is essential…
cs.LO2015★ 11 cited
Logics of Strong Noncontingency
Jie Fan
Inspired by Hintikka's treatment of question embedding verbs in [8] and the variations of noncontingency operator, we propose a logic with strong noncontingency operator $\blacktri…