11 found
Order:
See also
Xuefeng Wen
Sun Yat-Sen University
  1.  41
    Judgment aggregation in nonmonotonic logic.Xuefeng Wen - 2018 - Synthese 195 (8):3651-3683.
    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 large class of nonmonotonic logics. This generalization broadens the theoretical boundaries of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  5
    On the Transitivity of Logical Consequence without Assuming Monotonicity.Lin Chen & Xuefeng Wen - forthcoming - Logica Universalis:1-16.
    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 non-transitive logics and nonmonotonic ones.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    Stalnakerian Connexive Logics.Xuefeng Wen - 2023 - Studia Logica 112 (1):365-403.
    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 three-valued 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 for conditionals are then supplemented with a precondition that the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis.Xuefeng Wen - 2007 - Studia Logica 85 (2):251-260.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  46
    An N -player semantic game for an N + 1-valued logic.Shier Ju & Xuefeng Wen - 2008 - Studia Logica 90 (1):17-23.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  48
    On formalizing causation based on constant conjunction theory.Hu Liu & Xuefeng Wen - 2013 - Review of Symbolic Logic 6 (1):160-181.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  7.  17
    Simulative belief logic.Hu Liu, Yuan Ren & Xuefeng Wen - 2013 - Journal of Applied Logic 11 (2):217-228.
  8.  11
    Modal Logic via Global Consequence.Xuefeng Wen - 2021 - In 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. 117-132.
    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, connecting it with informational consequence (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  10
    Representation Results for Non-cumulative Logics.Xuefeng Wen & Xincheng Luo - 2021 - In 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. 259-272.
    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 strict-tolerant logics, we give some representation results for nonmonotonic logics that are not cumulatively transitive.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  60
    Semantic games with chance moves revisited: from IF logic to partial logic.Xuefeng Wen & Shier Ju - 2013 - Synthese 190 (9):1605-1620.
    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 indicate that some independent (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11. Plausibility, necessity and identity: A logic of relative plausibility. [REVIEW]Xiaowu Li & Xuefeng Wen - 2007 - Frontiers of Philosophy in China 2 (4):629-644.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark