•  17
    Simulative belief logic
    with Hu Liu and Yuan Ren
    Journal of Applied Logic 11 (2): 217-228. 2013.
  •  46
    An N -player semantic game for an N + 1-valued logic
    with Shier Ju
    Studia Logica 90 (1): 17-23. 2008.
    First we show that the classical two-player semantic game actually corresponds to a three-valued logic. Then we generalize this result and give an n-player semantic game for an n + 1-valued logic with n binary connectives, each associated with a player. We prove that player i has a winning strategy in game G if and only if the truth value of φ is $t_i $ in the model M, for 1 ≤ i ≤ n; and none of the players has a winning strategy in G if and only if the truth value of φ is $t_o $ in M.
  •  97
    We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one. We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic models. We also show that PLRI can be used to give a partial sol…Read more
  •  128
    Plausibility, necessity and identity: A logic of relative plausibility (review)
    with Xiaowu Li
    Frontiers of Philosophy in China 2 (4): 629-644. 2007.
    We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.
  •  41
    Judgment aggregation in nonmonotonic logic
    Synthese 195 (8): 3651-3683. 2018.
    Judgment aggregation studies how to aggregate individual judgments on logically correlated propositions into collective judgments. Different logics can be used in judgment aggregation, for which Dietrich and Mongin have proposed a generalized model based on general logics. Despite its generality, however, all nonmonotonic logics are excluded from this model. This paper argues for using nonmonotonic logic in judgment aggregation. Then it generalizes Dietrich and Mongin’s model to incorporate a la…Read more
  •  48
    On formalizing causation based on constant conjunction theory
    with Hu Liu
    Review of Symbolic Logic 6 (1): 160-181. 2013.
    Constant conjunction theory of causation had been the dominant theory in philosophy for a long time and regained attention recently. This paper gives a logical framework of causation based on the theory. The basic idea is that causal statements are empirical, and are derived from our past experience by observing constant conjunction between objects. The logic is defined on linear time structures. A causal statement is evaluated at time points, such that its value depends on what has been in the …Read more
  •  56
    Semantic games with chance moves revisited: from IF logic to partial logic
    with Shier Ju
    Synthese 190 (9): 1605-1620. 2013.
    We associate the semantic game with chance moves conceived by Blinov with Blamey’s partial logic. We give some equivalent alternatives to the semantic game, some of which are with a third player, borrowing the idea of introducing the pseudo-player called Nature in game theory. We observe that IF propositional logic proposed by Sandu and Pietarinen can be equivalently translated to partial logic, which implies that imperfect information may not be necessary for IF propositional logic. We also ind…Read more