Switch to: References

Add citations

You must login to add citations.
  1. A History Based Logic for Dynamic Preference Updates.Can Başkent & Guy McCusker - 2020 - Journal of Logic, Language and Information 29 (3):275-305.
    History based models suggest a process-based approach to epistemic and temporal reasoning. In this work, we introduce preferences to history based models. Motivated by game theoretical observations, we discuss how preferences can dynamically be updated in history based models. Following, we consider arrow update logic and event calculus, and give history based models for these logics. This allows us to relate dynamic logics of history based models to a broader framework.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Probabilistic Semantics for Counterfactuals. Part B.Hannes Leitgeb - 2012 - Review of Symbolic Logic 5 (1):85-121.
    This is part B of a paper in which we defend a semantics for counterfactuals which is probabilistic in the sense that the truth condition for counterfactuals refers to a probability measure. Because of its probabilistic nature, it allows a counterfactual to be true even in the presence of relevant -worlds, as long such exceptions are not too widely spread. The semantics is made precise and studied in different versions which are related to each other by representation theorems. Despite its (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • A Dynamic Logic of Agency II: Deterministic Dla {\Mathcal{Dla}} , Coalition Logic, and Game Theory.Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (3):327-351.
    We continue the work initiated in Herzig and Lorini (J Logic Lang Inform, in press) whose aim is to provide a minimalistic logical framework combining the expressiveness of dynamic logic in which actions are first-class citizens in the object language, with the expressiveness of logics of agency such as STIT and logics of group capabilities such as CL and ATL. We present a logic called ( Deterministic Dynamic logic of Agency ) which supports reasoning about actions and joint actions of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Toward a Theory of Play: A Logical Perspective on Games and Interaction.Johan van Benthem & Eric Pacuit - unknown
    The combination of logic and game theory provides a fine-grained perspective on information and interaction dynamics, a Theory of Play. In this paper we lay down the main components of such a theory, drawing on recent advances in the logical dynamics of actions, preferences, and information. We then show how this fine-grained perspective has already shed new light on the long-term dynamics of information exchange, as well as on the much-discussed question of extensive game rationality.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Epistemic Logic, Relevant Alternatives, and the Dynamics of Context.Wesley H. Holliday - 2012 - Lecture Notes in Computer Science 7415:109-129.
    According to the Relevant Alternatives (RA) Theory of knowledge, knowing that something is the case involves ruling out (only) the relevant alternatives. The conception of knowledge in epistemic logic also involves the elimination of possibilities, but without an explicit distinction, among the possibilities consistent with an agent’s information, between those relevant possibilities that an agent must rule out in order to know and those remote, far-fetched or otherwise irrelevant possibilities. In this article, I propose formalizations of two versions of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Substantive Assumptions in Interaction: A Logical Perspective.Olivier Roy & Eric Pacuit - 2013 - Synthese 190 (5):891-908.
    In this paper we study substantive assumptions in social interaction. By substantive assumptions we mean contingent assumptions about what the players know and believe about each other’s choices and information. We first explain why substantive assumptions are fundamental for the analysis of games and, more generally, social interaction. Then we show that they can be compared formally, and that there exist contexts where no substantive assumptions are being made. Finally we show that the questions raised in this paper are related (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Preference Based on Reasons.Daniel Osherson & Scott Weinstein - 2012 - Review of Symbolic Logic 5 (1):122-147.
    We describe a logic of preference in which modal connectives reflect reasons to desire that a sentence be true. Various conditions on models are introduced and analyzed.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.
    We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • From Self-Regarding to Other-Regarding Agents in Strategic Games: A Logical Analysis.Emiliano Lorini - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):443-475.
    I propose a modal logic that enables to reason about self-regarding and otherregarding motivations in strategic games. This logic integrates the concepts of joint action, belief, individual and group payoff. The first part of the article is focused on self-regarding agents. A self-regarding agent decides to perform a certain action only if he believes that this action maximizes his own personal benefit. The second part of the article explores different kinds of other-regarding motivations such as fairness and reciprocity. Differently from (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Toward a Dynamic Logic of Questions.Johan van Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633-669.
    Questions are triggers for explicit events of ‘issue management’. We give a complete logic in dynamic-epistemic style for events of raising, refining, and resolving an issue, all in the presence of information flow through observation or communication. We explore extensions of the framework to multi-agent scenarios and long-term temporal protocols. We sketch a comparison with some alternative accounts.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Preference Change.Anaïs Cadilhac, Nicholas Asher, Alex Lascarides & Farah Benamara - 2015 - Journal of Logic, Language and Information 24 (3):267-288.
    Most models of rational action assume that all possible states and actions are pre-defined and that preferences change only when beliefs do. But several decision and game problems lack these features, calling for a dynamic model of preferences: preferences can change when unforeseen possibilities come to light or when there is no specifiable or measurable change in belief. We propose a formally precise dynamic model of preferences that extends an existing static model. Our axioms for updating preferences preserve consistency while (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Toward a Dynamic Logic of Questions.Johan Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633 - 669.
    Questions are triggers for explicit events of 'issue management'. We give a complete logic in dynamic-epistemic style for events of raising, refining, and resolving an issue, all in the presence of information flow through observation or communication. We explore extensions of the framework to multiagent scenarios and long-term temporal protocols. We sketch a comparison with some alternative accounts.
    Download  
     
    Export citation  
     
    Bookmark  
  • Logical Theories of Intention and the Database Perspective.Yoav Shoham - 2009 - Journal of Philosophical Logic 38 (6):633-647.
    While logical theories of information attitudes, such as knowledge, certainty and belief, have flourished in the past two decades, formalization of other facets of rational behavior have lagged behind significantly. One intriguing line of research concerns the concept of intention. I will discuss one approach to tackling the notion within a logical framework, based on a database perspective.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Dynamic-Epistemic Hybrid Logic for Intentions and Information Changes in Strategic Games.O. Roy - 2009 - Synthese 171 (2):291 - 320.
    In this paper I present a dynamic-epistemic hybrid logic for reasoning about information and intention changes in situations of strategic interaction. I provide a complete axiomatization for this logic, and then use it to study intentions-based transformations of decision problems.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An Intuitionistic Logic for Preference Relations.Paolo Maffezioli & Alberto Naibo - 2019 - Logic Journal of the IGPL 27 (4):434-450.
    We investigate in intuitionistic first-order logic various principles of preference relations alternative to the standard ones based on the transitivity and completeness of weak preference. In particular, we suggest two ways in which completeness can be formulated while remaining faithful to the spirit of constructive reasoning, and we prove that the cotransitivity of the strict preference relation is a valid intuitionistic alternative to the transitivity of weak preference. Along the way, we also show that the acyclicity axiom is not finitely (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Priority Structures in Deontic Logic.Johan van Benthem, Davide Grossi & Fenrong Liu - 2014 - Theoria 80 (2):116-152.
    Download  
     
    Export citation  
     
    Bookmark  
  • Regulating Competing Coalitions: A Logic for Socially Optimal Group Choices.Paolo Turrini, Jan Broersen, Rosja Mastop & John-Jules Meyer - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):181-202.
    In Multi Agent Systems it is often the case that individual preferences are not compatible and coalitions compete to achieve a given result. The paper presents a language to talk about the conflict between coalitional choices and it expresses deontic notions to evaluate them. We will be specifically concerned with cases where the collective perspective is at odds with the individual perspective.
    Download  
     
    Export citation  
     
    Bookmark  
  • Priority Structures in Deontic Logic.Johan 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Strength of Desires: A Logical Approach.Didier Dubois, Emiliano Lorini & Henri Prade - 2017 - Minds and Machines 27 (1):199-231.
    The aim of this paper is to propose a formal approach to reasoning about desires, understood as logical propositions which we would be pleased to make true, also acknowledging the fact that desire is a matter of degree. It is first shown that, at the static level, desires should satisfy certain principles that differ from those to which beliefs obey. In this sense, from a static perspective, the logic of desires is different from the logic of beliefs. While the accumulation (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Prioritised Ceteris Paribus Logic for Counterfactual Reasoning.Patrick Girard & Marcus A. Triplett - 2018 - Synthese 195 (4):1681-1703.
    The semantics for counterfactuals due to David Lewis has been challenged by appealing to miracles. Miracles may skew a given similarity order in favour of those possible worlds which exhibit them. Lewis responded with a system of priorities that mitigates the significance of miracles when constructing similarity relations. We propose a prioritised ceteris paribus analysis of counterfactuals inspired by Lewis’ system of priorities. By analysing the couterfactuals with a ceteris paribus clause one forces out, in a natural manner, those possible (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation