11 citations · 40 across the 11 of their papers we have counts for
12 papers
Notes on neighborhood semantics for logics of unknown truths and false beliefs
Jie Fan
In this article, we study logics of unknown truths and false beliefs under neighborhood semantics. We compare the relative expressivity of the two logics. It turns out that they ar…
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…
Two variants of noncontingency operator
Jie Fan
By slightly adapting two equivalent semantics of noncontingency operator, we obtain two variants, and , with non-equivalent semantics. We show that on the class…
A family of neighborhood contingency logics
Jie Fan
This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. In particular, by defining a suitable canonical neighborhood func…
A road to ultrafilter extensions
Jie Fan
We propose a uniform method of constructing ultrafilter extensions from canonical models, which is based on the similarity between ultrafilters and maximal consistent sets. This me…
Bimodal logics with contingency and accident
Jie Fan
Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed sometimes, in both everyday discourse and…
A sequence of neighborhood contingency logics
Jie Fan
This note proposes various axiomatizations of contingency logic under neighborhood semantics. In particular, by defining a suitable canonical neighborhood function, we give sound a…
Neighborhood Contingency Logic: A New Perspective
Jie Fan
In this paper, we propose a new neighborhood semantics for contingency logic, by introducing a simple property in standard neighborhood models. This simplifies the neighborhood sem…
A Modal Logic of Supervenience
Jie Fan
Supervenience is an important philosophical concept. In this paper, inspired by the supervenience-determined consequence relation and the semantics of agreement operator, we introd…
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…
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…
Knowing Whether
Jie Fan, Yanjing Wang, Hans van Ditmarsch
Knowing whether a proposition is true means knowing that it is true or knowing that it is false. In this paper, we study logics with a modal operator Kw for knowing whether but wit…