Order:
See also
  1.  64
    Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
    A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  2.  45
    Bimodal Logics with Contingency and Accident.Jie Fan - 2019 - Journal of Philosophical Logic 48 (2):425-445.
    Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed up sometimes, in both daily life and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  27
    Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (3):407-435.
    Operators can be compared in at least two respects: expressive strength and deductive strength. Inspired by Hintikka’s treatment of question embedding verbs, the variations of noncontingency operator, and also the various combinations of modal operators and Boolean connectives, we propose a logic with strong noncontingency operator as the only primitive modality. The novel operator is deductively but not expressively stronger than both noncontingency operator and essence operator, and expressively but not deductively weaker than the necessity operator. The frame-definability power of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  15
    Symmetric Contingency Logic with Unlimitedly Many Modalities.Jie Fan - 2019 - Journal of Philosophical Logic 48 (5):851-866.
    The completeness of the axiomatization of contingency logic over symmetric frames has been thought of as a nontrivial job, the unimodal case of which cannot be generalized to the finitely multimodal case, which in turn cannot be generalized to the infinitely multimodal case. This paper deals with the completeness of symmetric contingency logic with unlimitedly many modalities, no matter whether the set of modalities is finite or infinite.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  13
    A Family of Neighborhood Contingency Logics.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (4):683-699.
    This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a function proposed by Kuhn in 1995. We show that Kuhn’s function is actually equal to a related function originally given by Humberstone.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  39
    A Modal Logic of Supervenience.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (2):283-309.
    Inspired by the supervenience-determined consequence relation and the semantics of agreement operator, we introduce a modal logic of supervenience, which has a dyadic operator of supervenience as a sole modality. The semantics of supervenience modality very naturally correspond to the supervenience-determined consequence relation, in a quite similar way that the strict implication corresponds to the inference-determined consequence relation. We show that this new logic is more expressive than the modal logic of agreement, by proposing a notion of bisimulation for the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  9
    Logics of (In)Sane and (Un)Reliable Beliefs.Jie Fan - 2022 - Logic Journal of the IGPL 30 (1):78-100.
    Inspired by an interesting quotation from the literature, we propose four modalities, called ‘sane belief’, ‘insane belief’, ‘reliable belief’ and ‘unreliable belief’, and introduce logics with each operator as the modal primitive. We show that the four modalities constitute a square of opposition, which indicates some interesting relationships among them. We compare the relative expressivity of these logics and other related logics, including a logic of false beliefs from the literature. The four main logics are all less expressive than the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  12
    The Temporal Experience of Pleasure Scale : Measurement Invariance Across Gender in Chinese University Students.Huan Zhou, Wanting Liu, Jie Fan, Jie Xia, Jiang Zhu & Xiongzhao Zhu - 2019 - Frontiers in Psychology 10.
  9.  9
    Almost Mecessary.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 178-196.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  10.  10
    Conditionally Knowing What.Yanjing Wang & Jie Fan - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 569-587.
  11.  11
    A Family of Kripke Contingency Logics.Jie Fan - 2020 - Theoria 86 (4):482-499.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  8
    Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations.Jie Fan - 2021 - Logica Universalis 15 (2):123-147.
    In this paper, a suitable notion of bisimulation is proposed for the bimodal logic with contingency and accident. We obtain several van Benthem Characterization Theorems, and axiomatize the bimodal logic over the class of Eulidean frames and over some more restricted classes, showing their strong completeness via a novel strategy, thereby answering two open questions raised in the literature. With the new bisimulation notion, we also correct an error in the expressivity results in the literature.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13.  24
    Patients With Obsessive-Compulsive Disorder Exhibit Deficits in Consummatory but Not Anticipatory Pleasure.Sihui Li, Yi Zhang, Jie Fan, Wanting Liu, Jun Gan, Jing He, Jinyao Yi, Changliang Tan & Xiongzhao Zhu - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  21
    Propositional Quantification in Logics of Contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.
    In this work we define contingency logic with arbitrary announcement. In contingency logic, the primitive modality contingency formalises that a proposition may be true but also may be false, so that if it is non-contingent then it is necessarily true or necessarily false. To this logic one can add dynamic operators to describe change of contingency. Our logic has operators for public announcement and operators for arbitrary public announcement, as in the dynamic epistemic logic called arbitrary public announcement logic. However, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  8
    A Unified Logic for Contingency and Accident.Jie Fan - 2022 - Journal of Philosophical Logic 51 (4):693-720.
    As shown in Fan, there are some similarities/resemblances between contingency and accident. Given this, one may naturally ask if we can unify the two operators to manifest all of their similarities/resemblances. In this article, instead of looking at the interactions between the two operators like in Fan, we turn our attention to the resemblances between the two operators. We extend the unification method in Fan to the current setting. The main results include some model-theoretical ones, such as expressivity, frame definability, (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  15
    Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics.Jie Fan - 2022 - Studia Logica 110 (1):1-45.
    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 are incomparable over various classes of neighborhood models, and the combination of the two logics are equally expressive as standard modal logic over any class of neighborhood models. We propose morphisms for each logic, which can help us explore the frame definability problem, show a general soundness and completeness result, and generalize (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  12
    A Logic for Disjunctive Ignorance.Jie Fan - 2021 - Journal of Philosophical Logic 50 (6):1293-1312.
    In this paper, we introduce a notion of ‘disjunctive ignorance’, which is a weak combination of two forms of ignorance in the literature. We propose a logical language with ‘disjunctive ignorance’ as a sole modality, explore the logical properties of this notion and its related notions, and axiomatize it over various frame classes. By finding suitable reduction axioms, we extend the results to the case of public announcements and apply it to Moore-like sentences.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  9
    Alterations of Interhemispheric Functional Connectivity in Parkinson’s Disease With Depression: A Resting-State Functional MRI Study.Haiyan Liao, Jie Fan, Qin Shen, Sainan Cai, Min Wang, Chunyu Wang, Hainan Zhang, Jun Liu, Xiongzhao Zhu & Changlian Tan - 2020 - Frontiers in Human Neuroscience 14.
  19.  3
    Factor Structure and Gender Invariance of Chinese Version State-Trait Anxiety Inventory (Form Y) in University Students.Yan Han, Jie Fan, Xiang Wang, Jie Xia, Xingze Liu, Huan Zhou, Yi Zhang & Xiongzhao Zhu - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark