
154Plausibility, necessity and identity: A logic of relative plausibility (review)Frontiers of Philosophy in China 2 (4): 629644. 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 wellstudied notions of necessity, conditionals and propositional identity.

68A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of AnalysisStudia Logica 85 (2): 251260. 2007.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 Hilbertstyle 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

63Semantic games with chance moves revisited: from IF logic to partial logicSynthese 190 (9): 16051620. 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 pseudoplayer 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

54On formalizing causation based on constant conjunction theoryReview of Symbolic Logic 6 (1): 160181. 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

45Judgment aggregation in nonmonotonic logicSynthese 195 (8): 36513683. 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

31An N player semantic game for an N + 1valued logicStudia Logica 90 (1): 1723. 2008.First we show that the classical twoplayer semantic game actually corresponds to a threevalued logic. Then we generalize this result and give an nplayer semantic game for an n + 1valued 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.

19Stalnakerian Connexive LogicsStudia Logica 112 (1): 365403. 2023.Motivated by supplying a new strategy for connexive logic and a better semantics for conditionals so that negating a conditional amounts to negating its consequent under the condition, we propose a new semantics for connexive conditional logic, by combining Kleene’s threevalued logic and a slight modification of Stalnaker’s semantics for conditionals. In the new semantics, selection functions for selecting closest worlds for evaluating conditionals can be undefined. Truth and falsity conditions…Read more

14Representation Results for Noncumulative LogicsIn Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings, Springer Verlag. pp. 259272. 2021.Most nonmonotonic logics are assumed to be cumulative, which is often regarded as the minimum requirement for a logic. We argue that cumulativity, in particular, cumulative transitivity can be abandoned, in order to better characterize reasoning in uncertainty. But giving up cumulative transitivity makes it hard to obtain representation results for these logics. Borrowing the idea from stricttolerant logics, we give some representation results for nonmonotonic logics that are not cumulatively t…Read more

14On the Transitivity of Logical Consequence without Assuming MonotonicityLogica Universalis 116. forthcoming.We generalize Ripley’s results on the transitivity of consequence relation, without assuming a logic to be monotonic. Following Gabbay, we assume nonmonotonic consequence relation to be inclusive and cautious monotonic, and figure out the implications between different forms of transitivity of logical consequence. Weaker frameworks without inclusiveness or cautious monotonicity are also discussed. The paper may provide basis for the study of both nontransitive logics and nonmonotonic ones.

13Modal Logic via Global ConsequenceIn Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings, Springer Verlag. pp. 117132. 2021.In modal logic, semantic consequence is usually defined locally by truth preservation at all worlds in all models. It can also be defined globally by truth preservation in all models. The latter is called global consequence, which is much less studied than the standard local one. In this paper we first study the relationship between local and global consequence. Then we give some correspondence results for global consequence. Finally, we illustrate two applications of global consequence, connect…Read more
Areas of Specialization
Logic and Philosophy of Logic 
Areas of Interest
Logic and Philosophy of Logic 