45 found
Order:
  1. Dynamic logic of preference upgrade.Johan van Benthem & Fenrong Liu - 2007 - Journal of Applied Non-Classical Logics 17 (2):157-182.
    Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ?upgrade' our preferences by changing the current order among worlds. We present a complete logic of knowledge update plus preference upgrade that works with dynamic-epistemic-style reduction axioms. This system can model changing obligations, conflicting commands, or ?regret'. We then show how to derive reduction axioms from arbitrary definable relation changes. This style of analysis also has a product update version with preferences between (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   106 citations  
  2. Changing for the Better: Preference Dynamics and Agent Diversity.Fenrong Liu - 2008 - Dissertation, University of Amsterdam
    This thesis investigates two main issues concerning the behavior of rational agents, preference dynamics and agent diversity. -/- We take up two questions left aside by von Wright, and later also the multitude of his successors, in his seminal book Logic of Preference in 1963: reasons for preference, and changes in preference. Various notions of preference are discussed, compared and further correlated in the thesis. In particular, we concentrate on extrinsic preference. Contrary to intrinsic preference, extrinsic preference is reason-based, i.e. (...)
    No categories
     
    Export citation  
     
    Bookmark   18 citations  
  3.  36
    Reasoning About Preference Dynamics.Fenrong Liu - 2011 - Dordrecht, Netherland: Springer Verlag.
    Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified new theory of what preference is and how it changes. The theory emphasizes reasons for preference, as well as its entanglement with our beliefs. Moreover, the book provides dynamic logical systems which describe the explicit triggers driving preference (...)
    No categories
  4. Logical dynamics of belief change in the community.Fenrong Liu, Jeremy Seligman & Patrick Girard - 2014 - Synthese 191 (11):2403-2431.
    In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. We (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  5.  50
    Priority Structures in Deontic Logic.Johan van Benthem, Davide Grossi & Fenrong Liu - 2014 - Theoria 80 (2):116-152.
    This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well‐known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two‐level approach to obligations is tested first against standard scenarios of contrary‐to‐duty obligations, leading also to a generalization for the Kanger‐Anderson reduction of deontic logic. Next, the priority framework is applied to model (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  6. Reasoning About Agent Types and the Hardest Logic Puzzle Ever.Fenrong Liu & Yanjing Wang - 2013 - Minds and Machines 23 (1):123-161.
    In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based on this language, types of agents are treated as ‘first-class citizens’ and studied extensively in various dynamic epistemic frameworks which are suitable for reasoning about knowledge and agent types via announcements and questions. To demonstrate our approach, we discuss various versions of Smullyan’s Knights and Knaves puzzles, including the Hardest Logic Puzzle Ever (HLPE) proposed by Boolos (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7.  23
    Introduction.Fenrong Liu - 2011 - In Reasoning About Preference Dynamics. Dordrecht, Netherland: Springer Verlag. pp. 3--16.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  23
    On the Subtle Nature of a Simple Logic of the Hide and Seek Game.Dazhu Li, Sujata Ghosh, Fenrong Liu & Yaxin Tu - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz, Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 201-218.
    We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion and we add a new modal variant to that class of logics. We also discuss the relative expressive power of the proposed logic in comparison to the standard (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss, Advances in Modal Logic 9. London, England: College Publications. pp. 239-260.
    Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the de nition of complex modalities. We provide a common generalisation: a logic that is dynamic in both senses, and one that is not limited to S5 as its modal base. It also incorporates, and signi cantly generalises, all the features of existing extensions of DEL such as BMS [3] (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  40
    A Simple Logic of the Hide and Seek Game.Dazhu Li, Sujata Ghosh, Fenrong Liu & Yaxin Tu - 2023 - Studia Logica 111 (5):821-853.
    We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  74
    A Two-Level Perspective on Preference.Fenrong Liu - 2011 - Journal of Philosophical Logic 40 (3):421 - 439.
    This paper proposes a two-level modeling perspective which combines intrinsic 'betterness' and reason-based extrinsic preference, and develops its static and dynamic logic in tandem. Our technical results extend, integrate, and re-interpret earlier theorems on preference representation and update in the literature on preference change.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  12. Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
    We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  13. Von Wright’s “The Logic of Preference” revisited.Fenrong Liu - 2010 - Synthese 175 (1):69-88.
    Preference is a key area where analytic philosophy meets philosophical logic. I start with two related issues: reasons for preference, and changes in preference, first mentioned in von Wright’s book The Logic of Preference but not thoroughly explored there. I show how these two issues can be handled together in one dynamic logical framework, working with structured two-level models, and I investigate the resulting dynamics of reason-based preference in some detail. Next, I study the foundational issue of entanglement between preference (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  48
    Diversity of Logical Agents in Games.Johan van Benthem & Fenrong Liu - 2004 - Philosophia Scientiae 8 (2):163-178.
    Epistemic agents may have different powers of observation and reasoning, and we show how this diversity fits into dynamic update logics.RésuméLes agents épistémiques peuvent avoir différents pouvoirs d’observation et de raisonnement, et nous montrons comment cette diversité prend place en logique dynamique de mise à jour.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  15. Priority Structures in Deontic Logic.Johan van Benthem, Davide Grossi & Fenrong Liu - 2013 - Theoria 80 (2):116-152.
    This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well-known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two-level approach to obligations is tested first against standard scenarios of contrary-to-duty obligations, leading also to a generalization for the Kanger-Anderson reduction of deontic logic. Next, the priority framework is applied to model (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  22
    General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 239-260.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  17. New perspectives on Moist logic.Fenrong Liu & Jialong Zhang - 2010 - Journal of Chinese Philosophy 37 (4):605-621.
  18. 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  
  19.  61
    Diversity of agents and their interaction.Fenrong Liu - 2009 - Journal of Logic, Language and Information 18 (1):23-53.
    Diversity of agents occurs naturally in epistemic logic, and dynamic logics of information update and belief revision. In this paper we provide a systematic discussion of different sources of diversity, such as introspection ability, powers of observation, memory capacity, and revision policies, and we show how these can be encoded in dynamic epistemic logics allowing for individual variation among agents. Next, we explore the interaction of diverse agents by looking at some concrete scenarios of communication and learning, and we propose (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  25
    Knowledge, Proof and Dynamics.Fenrong Liu, Hiroakira Ono & Junhua Yu (eds.) - 2020 - Springer.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Models of Reasoning in Ancient China.Fenrong Liu, Jeremy Seligman & Johan van Benthem - 2011 - Studies in Logic 4 (3):57-81.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  22.  28
    The Inference Pattern Mou in Mohist Logic: A Monotonicity Reasoning View.Zhiqiang Sun & Fenrong Liu - 2020 - Roczniki Filozoficzne 68 (4):257-270.
    Taking the standpoint of monotonicity reasoning, this paper provides a systematic way of looking at the inference pattern mou in the Mohist text. We have taken a logical, as well as a linguistic perspective, emphasizing features of classical Chinese, the role of context, and making use of any possible clues that we can find from the old text. By applying monotonicity rules we provide a uniform account of why shi er ran examples are valid inferences, and shi er buran examples (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Preference Change: A Quantitative Approach.Fenrong Liu - 2009 - Studies in Logic 2 (3):12-27.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  24.  10
    Hybrid Logic of the Hide and Seek Game.Katsuhiko Sano, Fenrong Liu & Dazhu Li - forthcoming - Studia Logica.
    The logic of the hide and seek game LHS\textbf{LHS} was proposed to capture interactions between agents in pursuit-evasion environments. In this paper, we explore a hybrid extension of LHS\textbf{LHS} and show that such an extension is beneficial in several aspects. We will show that it improves the technical properties of the resulting logical system, and expands the potential applications of the system. Specifically, we will investigate the expressive power of the hybrid logic of the hide and seek game H(LHS){\mathcal {H}}(\textbf{LHS}) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value.Sven Ove Hansson & Fenrong Liu - 2014 - In Alexandru Baltag & Sonja Smets, Johan van Benthem on Logic and Information Dynamics. Cham: Springer.
    It has usually been assumed that monadic value notions can be defined in terms of dyadic value notions, whereas definitions in the opposite direction are not possible. In this paper, inspired by van Benthem’s work, it is shown that the latter direction is feasible with a method in which shifts in context have a crucial role. But although dyadic preference orderings can be defined from context-indexed monadic notions, the monadic notions cannot be regained from the preference relation that they gave (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  26.  3
    Preference Dynamics in Games with Short Sight.Chanjuan Liu, Fenrong Liu, Kaile Su & Zhu E. - 2014 - Applied Mathematics and Computation 244:493-501.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  38
    Logic, language and philosophy: a short introduction to standard logic.Fenrong Liu & Martin Stokhof - 2024 - Stanford, California: Stanford CSLI Publications. Edited by M. J. B. Stokhof.
    This book provides a first introduction to two key systems that play a role in any variety or application of logic: classical propositional logic and classical predicate logic. It also contains pointers to variations and alternatives, to logics that deal with a wider range of concepts. This book provides examples of the application of logic to philosophical problems, and illustrates some of the philosophical problems that are raised by logic itself. This book aims to give the reader a first glimpse (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  5
    The History of Logic in China: 5 Questions.Fenrong Liu & Jeremy Seligman (eds.) - 2015 - Copenhagen: Automatic Press.
    History of Logic in China: 5 Questions is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars in the field. We hear their views on the field, the aim, the scopes, the future direction of research and how their work fits in these respects. Interviews with Rens Bod, Chung-Ying Cheng, Cui Qingtian, Dong Zhitie, Chris Fraser, Yiu-Ming Fung, Jane Geaney, Chad Hansen, Christoph Harbsmeier, Ju Zhonglin, Hsien-Chung Lee, Jer-Shiarn Lee, Michiel (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Efficient minimal preference change.Natasha Alechina, Fenrong Liu & Brian Logan - 2018 - Journal of Logic and Computation 28 (8): 1715–1733.
    In this article, we study a minimal change approach to preference dynamics. We treat a set of preferences as a special kind of theory, and define minimal change preference contraction and revision operations in the spirit of the Alchourrón, Gärdenfors, and Makinson theory of belief revision. We characterise minimal contraction of preference sets by a set of postulates and prove a representation theorem. We also give a linear time algorithm which implements minimal contraction by a single preference. We then define (...)
    No categories
     
    Export citation  
     
    Bookmark  
  30.  10
    Proceedings of the 14th and 15th Asian Logic Conferences.Byunghan Kim, Jörg Brendle, Gyesik Lee, Fenrong Liu, R. Ramanujam, Shashi M. Srivastava, Akito Tsuboi & Liang Yu (eds.) - 2019 - World Scientific Publishing Company.
    The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere for an exchange of information and ideas. This combined proceedings volume represents works presented or arising from the 14th and 15th ALCs.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  3
    Monotonicity in Logic and Language.Dun Deng, Fenrong Liu, Mingming Liu & Dag Westerståhl (eds.) - 2020 - Springer.
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions. Due to COVID-19 the workshop will be held online. The workshop covers a wide range of topics where monotonicity is discussed in the context of logic, causality, belief revision, quantification, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  3
    PRICAI 2021: Trends in Artificial Intelligence.Nghia Pham Duc, Theeramunkong Thanaruk, Governatori Guido & Fenrong Liu (eds.) - 2021 - Springer.
    This three-volume set—LNAI 13031, LNAI 13032, and LNAI 13033—constitutes the thoroughly refereed proceedings of the 18th Pacific Rim Conference on Artificial Intelligence (PRICAI 2021), held in Hanoi, Vietnam, in November 2021. The 93 full papers and 28 short papers presented in these volumes were carefully reviewed and selected from 382 submissions. -/- PRICAI covers a wide range of topics of social and economic importance for countries in the Pacific Rim, including artificial intelligence, machine learning, natural language processing, knowledge representation and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  6
    Logic Across the University: Foundations and Applications.Johan van Benthem & Fenrong Liu (eds.) - 2013 - College Publications.
    Modern logic is an active agent all across the university today, connecting disciplines, and transcending traditional boundaries. This book demonstrates this general role in the special setting of a conference at Tsinghua University, where modern logic was already taught in the 1930s by pioneers like Jin Yeulin. This boon contains an unusual dialogue between Chinese logicians and international colleagues representing a wide range of disciplines, including philosophy, mathematics, linguistics computer science, cognitive science, and the social sciences. The focus of this (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. A Logical Characterization of Extensive Games with Short Sight.Liu Chanjuan, Fenrong Liu, Su Kaile & Zhu E. - 2016 - Theoretical Computer Science 612:63-82.
     
    Export citation  
     
    Bookmark  
  35. A Brief History Of Chinese Logic.Fenrong Liu & Wujing Yang - 2010 - Journal of the Indian Council of Philosophical Research 27 (1):101-123.
     
    Export citation  
     
    Bookmark   1 citation  
  36. Deontic Logic and Changing Preferences.Fenrong Liu & Johan van Benthem - 1983 - In Dov M. Gabbay & Franz Guenthner, Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  37. Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021.Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van de Putte (eds.) - 2021 - College Publications.
    This volume contains the proceedings of DEON2020/2021, the 15th International Conference on Deontic Logic and Normative Systems that was organized by the Munich Center for Mathematical Philosophy at LMU Munich (Germany) on 21st-24th July, 2021. The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory, and law.
     
    Export citation  
     
    Bookmark  
  38. Logic and AI in China: An Introduction.Fenrong Liu & Kaile Su - 2013 - Minds and Machines 23 (1):1-4.
    The year 2012 has witnessed worldwide celebrations of Alan Turing’s 100th birthday. A great number of conferences and workshops were organized by logicians, computer scientists and researchers in AI, showing the continued flourishing of computer science, and the fruitful interfaces between logic and computer science. Logic is no longer just the concept that Frege had about one hundred years ago, let alone that of Aristotle twenty centuries before. One of the prominent features of contemporary logic is its interdisciplinary character, connecting (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  15
    New Logical Perspectives on Ceteris Paribus Preference.Fenrong Liu - unknown
    SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013. Session 3 : Logic, Norms, and Preferences.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  16
    Preference Change.Fenrong Liu - 2012 - In Sven Ove Hansson & Vincent F. Hendricks, Introduction to Formal Philosophy. Cham: Springer. pp. 549-566.
    The notion of preference is important in philosophy, decision theory, and many other disciplines. It is the interplay of information and preferences that provides the driving force behind what we actually do. The chapter adds a new focus and argues that preference is not static, instead, it changes dynamically when triggered by various kinds of events. We show that how a wide variety of preference changes can be modeled in logic, thereby providing the formal philosopher with a natural extension of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  6
    PRICAI 2023: Trends in Artificial Intelligence.Fenrong Liu, Arun Anand Sadanandan, Duc Nghia Pham, Mursanto Petrus & Lukose Dickson (eds.) - 2024 - Springer.
    This three-volume set, LNCS 14325-14327 constitutes the thoroughly refereed proceedings of the 20th Pacific Rim Conference on Artificial Intelligence, PRICAI 2023, held in Jakarta, Indonesia, in November 2023. The 95 full papers and 36 short papers presented in these volumes were carefully reviewed and selected from 422 submissions. PRICAI covers a wide range of topics in the areas of social and economic importance for countries in the Pacific Rim: artificial intelligence, machine learning, natural language processing, knowledge representation and reasoning, planning (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Reasoning in Social Settings.Fenrong Liu & Beishui Liao - 2021 - Journal of Logic and Computation 31 (4):1023-1025.
    New perspectives keep emerging in the logical study of social interactions, witnessed by yet another collection of research papers. Once our focus of reasoning shifts from an individual to a social setting, interesting issues naturally arise. The central question is the following: how is an individual’s attitude related to that of others and that of a group, especially when we take into account the informative communication between agents, as well as the structures of a group? This has been studied to (...)
    No categories
     
    Export citation  
     
    Bookmark  
  43.  23
    Understanding Deontics from a Preference Perspective.Fenrong Liu - unknown
    SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Keynote Lecture 2.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Graph Games and Logic Design.Johan van Benthem & Fenrong Liu - 2020 - In Fenrong Liu, Hiroakira Ono & Junhua Yu, Knowledge, Proof and Dynamics. Springer. pp. 125–146.
    Graph games are interactive scenarios with a wide range of applications. This position paper discusses old and new graph games in tandem with matching logics and identifies general questions behind this match. Throughout, we pursue two strands: logic as a way of analyzing existing graph games, and logic as an inspiration for designing new graph games. Our aim is modest: we propose a perspective that complements existing game-theoretic and computational ones, we raise questions, make observations, and suggest research directions—technical results (...)
     
    Export citation  
     
    Bookmark  
  45. Where is Logic Going.Johan van Benthem & Fenrong Liu - 2014 - Studies in Logic 7 (1): 84-99.
    No categories
     
    Export citation  
     
    Bookmark