1. Prioritized Imperatives and Normative Conflicts.Fengkui Ju & Fenrong Liu - 2011 - European Journal of Analytic Philosophy 7 (2):35-58.
    Imperatives occur ubiquitously in natural languages. They produce forces which change the addressee’s cognitive state and regulate her actions accordingly. In real life we often receive conflicting orders, typically, issued by various authorities with different ranks. A new update semantics is proposed in this paper to formalize this idea. The general properties of this semantics, as well as its background ideas are discussed extensively. In addition, we compare our framework with other approaches of deontic logics in the context of normative (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   3 citations  
  2.  2
    A Logic for Conditional Local Strategic Reasoning.Valentin Goranko & Fengkui Ju - 2022 - Journal of Logic, Language and Information 31 (2):167-188.
    We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives. We study and formalise the reasoning of an agent, or of an external observer, about the expected choices of action of the other agents based on their objectives, in order to assess the reasoner’s ability, or expectation, to achieve their own objective. To formalize such reasoning we extend Pauly’s Coalition Logic with three new modal operators of conditional strategic reasoning, thus introducing the (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   1 citation  
  3.  10
    Modeling Legal Conflict Resolution Based on Dynamic Logic.Fengkui Ju, Karl Nygren & Tianwen Xu - 2021 - Journal of Logic and Computation 31 (4):1102-1128.
    Conflicts between legal norms are common in reality. In many legislations, legal conflicts between norms are resolved by applying ordered principles. This work presents a formalization of the conflict resolution mechanism and introduces action legal logic (⁠ALL) to reason about the normative consequences of possibly conflicting legal systems. The semantics of ALL is explicitly based on legal systems consisting of norms and ordered principles. Legal systems specify the legal status of transitions in transition systems and the language of ALL describes (...)
    Direct download  
    Export citation  
  4.  2
    Reasoning About Social Phenomena.Tomasz Jarmużek, Fengkui Ju, Piotr Kulicki & Beishui Liao - 2021 - Bulletin of the Section of Logic 50 (2):125-129.