Order:
  1.  45
    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  
     
    Bookmark  
  2. Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou.Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.) - 2023 - College Publications.
    This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Modeling dynamics of legal relations with dynamic logic.Jan van Eijck, Fengkui Ju & Tianwen Xu - 2024 - Journal of Logic an Computation 34 (2):372-398.
    The fundamental relations in private law are claims and duties. These legal relations can be changed by agents with the appropriate legal powers. We use propositional dynamic logic and ideas about propositional control from the agency literature to formalize these changes in legal relations. Our models are sets of states with functions specifying atomic facts, agents’ abilities to change atomic facts, legal relations between agents concerning changing atomic facts and agents’ powers. We present a formal language that allows us to (...)
     
    Export citation  
     
    Bookmark