
4A Logic of Temporal ContingencyErkenntnis 130. forthcoming.We propose a logic of temporal contingency, which has operators of past and future contingency as primitive modalities. This logic is less expressive than standard temporal logic over the class of bidirectional frames, and cannot define some basic frame properties such as bidirectionality and transitivity. We present a minimal system based on two key ‘bridge axioms’ and a bimodal version of a socalled ‘almost definability’ schema in the literature. The completeness proof is highly nontrivial du…Read more

4Some Notes on Dyadic ContingencyJournal of Logic, Language and Information 32 (2): 209217. 2023.In a recent work, Pizzi proposes a notion of dyadic noncontingency, and then gives an axiomatic system of dyadic noncontingency named \(\text {KD}\Delta ^2\), which is shown to be translationally equivalent to the deontic system KD and has the minimal system \(\text {K}\Delta \) of monadic contingency as a fragment. However, the reason why he defines dyadic noncontingency like that is unclear. In this article, inspired by the notion of relativized knowingvalue in the literature, we give a pl…Read more

16A Unified Logic for Contingency and AccidentJournal of Philosophical Logic 51 (4): 693720. 2022.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 modeltheoretical ones, such a…Read more

19Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood SemanticsStudia Logica 110 (1): 145. 2021.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…Read more

16A Logic for Disjunctive IgnoranceJournal of Philosophical Logic 50 (6): 12931312. 2021.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 Moorelike sentences.

9Bimodal Logic with Contingency and Accident: Bisimulation and AxiomatizationsLogica Universalis 15 (2): 123147. 2021.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…Read more

69Contingency and knowing whetherReview of Symbolic Logic 8 (1): 75107. 2015.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 logi…Read more

12Conditionally Knowing WhatIn Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10, Csli Publications. pp. 569587. 2014.

47Bimodal Logics with Contingency and AccidentJournal of Philosophical Logic 48 (2): 425445. 2019.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 modeltheoretical properties such as expressivity and frame definability.…Read more

15Symmetric Contingency Logic with Unlimitedly Many ModalitiesJournal of Philosophical Logic 48 (5): 851866. 2019.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.

33Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than NecessityNotre Dame Journal of Formal Logic 60 (3): 407435. 2019.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 expressive…Read more

10Logics of (In)sane and (Un)reliable BeliefsLogic Journal of the IGPL 30 (1): 78100. 2022.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 fo…Read more

21Propositional quantification in logics of contingencyJournal of Applied NonClassical Logics 26 (1): 81102. 2016.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 noncontingent 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…Read more

41A Modal Logic of SupervenienceNotre Dame Journal of Formal Logic 60 (2): 283309. 2019.Inspired by the superveniencedetermined 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 superveniencedetermined consequence relation, in a quite similar way that the strict implication corresponds to the inferencedetermined consequence relation. We show that this new logic is more expressive than th…Read more

14Almost MecessaryIn Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10, Csli Publications. pp. 178196. 2014.

15A Family of Neighborhood Contingency LogicsNotre Dame Journal of Formal Logic 60 (4): 683699. 2019.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 …Read more
Areas of Specialization
Science, Logic, and Mathematics 
Metaphysics and Epistemology 
Areas of Interest
Science, Logic, and Mathematics 
Metaphysics and Epistemology 