Switch to: References

Add citations

You must login to add citations.
  1. Dynamic Introspection.Michael Cohen - 2021 - Dissertation, Stanford University
    Download  
     
    Export citation  
     
    Bookmark  
  • Truths about Simpson's Paradox - Saving the Paradox from Falsity.Don Dcruz, Prasanta S. Bandyopadhyay, Venkata Raghavan & Gordon Brittain Jr - 2015 - In M. Banerjee & S. N. Krishna (eds.), LNCS 8923. pp. 58-75.
    There are three questions associated with Simpson’s paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP? and (iii) How to proceed when confronted with SP? An adequate analysis of the paradox starts by distinguishing these three questions. Then, by developing a formal account of SP, and substantiating it with a counterexample to causal accounts, we argue that there are no causal factors at play in answering questions (i) and (ii). Causality enters only in connection with action.
    Download  
     
    Export citation  
     
    Bookmark  
  • Endogenizing Epistemic Actions.Adam Bjorndahl & Will Nalls - 2021 - Studia Logica 109 (5):1049-1091.
    Through a series of examples, we illustrate some important drawbacks that the action model logic framework suffers from in its ability to represent the dynamics of information updates. We argue that these problems stem from the fact that the action model, a central construct designed to encode agents’ uncertainty about actions, is itself effectively common knowledge amongst the agents. In response to these difficulties, we motivate and propose an alternative semantics that avoids them by endogenizing the action model. We discuss (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Inexact knowledge and dynamic introspection.Michael Cohen - 2021 - Synthese 199 (3-4):5509-5531.
    Cases of inexact observations have been used extensively in the recent literature on higher-order evidence and higher-order knowledge. I argue that the received understanding of inexact observations is mistaken. Although it is convenient to assume that such cases can be modeled statically, they should be analyzed as dynamic cases that involve change of knowledge. Consequently, the underlying logic should be dynamic epistemic logic, not its static counterpart. When reasoning about inexact knowledge, it is easy to confuse the initial situation, the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Closeness- and Priority-Based Logical Study of Social Network Creation.Sonja Smets & Fernando R. Velázquez-Quesada - 2020 - Journal of Logic, Language and Information 29 (1):21-51.
    This paper is part of an on-going programme on the study of the logical aspects of social network formation. It recalls the so-called social network model, discussing the properties of a notion of closeness between agents ; then introduces an extended social network model in which different agents might assign different values to different traits, discussing the properties of the notion of weighted closeness that arises. These notions are used to define social network creation operations by means of a threshold (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hidden protocols: Modifying our expectations in an evolving world.Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.
    When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A general framework for dynamic epistemic logic: towards canonical correspondences.Shota Motoura - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):50-89.
    We propose a general framework for dynamic epistemic logics. It consists of a generic language for DELs and a class of structures, called model transition systems, that describe model transformations in a static way. An MTS can be viewed as a two-layered Kripke model and consequently inherits standard concepts such as bisimulation and bounded morphism from the ordinary Kripke models. In the second half of this article we add the global operator to the language, which enables us to define the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Book Reviews. [REVIEW]Yanjing Wang - 2014 - Studia Logica 102 (3):647-654.
    Download  
     
    Export citation  
     
    Bookmark  
  • Inquisitive logic as an epistemic logic of knowing how.Haoyu Wang, Yanjing Wang & Yunsong Wang - 2022 - Annals of Pure and Applied Logic 173 (10):103145.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Opaque Updates.Michael Cohen - 2020 - Journal of Philosophical Logic 50 (3):447-470.
    If updating with E has the same result across all epistemically possible worlds, then the agent has no uncertainty as to the behavior of the update, and we may call it a transparent update. If an agent is uncertain about the behavior of an update, we may call it opaque. In order to model the uncertainty an agent has about the result of an update, the same update must behave differently across different possible worlds. In this paper, I study opaque (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - 2020 - Studia Logica 109 (1):95-124.
    The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting technique but by the idea of an auxiliary semantics studied by van Benthem and Wang et al. A key insight of our auxiliary semantics for dynamic logic of relation changers can be described as: “relation changers are bounded morphisms.” Moreover, we demonstrate that this semantic insight can be used to provide a modular cut-free labelled (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Norm Performatives and Deontic Logic.Rosja Mastop - 2011 - European Journal of Analytic Philosophy 7 (2):83-105.
    Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic logic. That is, we first define norm systems and a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The problem of perception and the no-miracles principle.Michael Cohen - 2020 - Synthese 198 (11):11065-11080.
    The problem of perception is the problem of explaining how perceptual knowledge is possible. The skeptic has a simple solution: it is not possible. I analyze the weaknesses of one type of skeptical reasoning by making explicit a dynamic epistemic principle from dynamic epistemic logic that is implicitly used in debating the problem, with the aim of offering a novel diagnosis to this skeptical argument. I argue that prominent modest foundationalist responses to perceptual skepticism can be understood as rejecting the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Topological Approach to Full Belief.Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün & Sonja Smets - 2019 - Journal of Philosophical Logic 48 (2):205-244.
    Stalnaker, 169–199 2006) introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept of belief as ‘subjective certainty’. In this paper, we provide a topological semantics for belief, in particular, for Stalnaker’s notion of belief defined as ‘epistemic possibility of knowledge’, in terms of the closure of the interior operator on extremally disconnected spaces. This semantics extends the standard topological interpretation of knowledge with a new topological semantics for belief. We prove that the belief (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
    A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Are There No Things That are Scientific Theories?Steven French & Peter Vickers - 2011 - British Journal for the Philosophy of Science 62 (4):771-804.
    The ontological status of theories themselves has recently re-emerged as a live topic in the philosophy of science. We consider whether a recent approach within the philosophy of art can shed some light on this issue. For many years philosophers of aesthetics have debated a paradox in the (meta)ontology of musical works (e.g. Levinson [1980]). Taken individually, there are good reasons to accept each of the following three propositions: (i) musical works are created; (ii) musical works are abstract objects; (iii) (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Formal learning theory.Oliver Schulte - 2008 - Stanford Encyclopedia of Philosophy.
    Formal learning theory is the mathematical embodiment of a normative epistemology. It deals with the question of how an agent should use observations about her environment to arrive at correct and informative conclusions. Philosophers such as Putnam, Glymour and Kelly have developed learning theory as a normative framework for scientific reasoning and inductive inference.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Non-strict Interventionism: The Case Of Right-Nested Counterfactuals.Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada & Kaibo Xie - 2022 - Journal of Logic, Language and Information 31 (2):235-260.
    The paper focuses on a recent challenge brought forward against the interventionist approach to the meaning of counterfactual conditionals. According to this objection, interventionism cannot account for the interpretation of right-nested counterfactuals, the problem being its strict interventionism. We will report on the results of an empirical study supporting the objection. Furthermore, we will extend the well-known logic of intervention with a new operator expressing an alternative notion of intervention that does away with strict interventionism. This new notion of intervention (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dynamic epistemic logics for abstract argumentation.Carlo Proietti & Antonio Yuste-Ginel - 2021 - Synthese 199 (3-4):8641-8700.
    This paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of communication and information update by the participants. After locating our proposal and introducing the relevant tools from abstract argumentation, we proceed to build a three-tiered logical approach. At the first level, we use the language of propositional logic to encode states of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Syntactic awareness in logical dynamics.Davide Grossi & Fernando R. Velázquez-Quesada - 2015 - Synthese 192 (12):4071-4105.
    The paper develops an interface between syntax-based logical models of awareness and dynamic epistemic logic. The framework is shown to be able to accommodate a variety of notions of awareness and knowledge, as well as their dynamics. This, it is argued, offers a natural formal environment for the analysis of epistemic phenomena typical of multi-agent information exchange, such as how agents become aware of relevant details, how they perform inferences and how they share their information within a group. Technically, the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Communication Pattern Logic: Epistemic and Topological Views.Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth & Diego A. Velázquez - 2023 - Journal of Philosophical Logic 52 (5):1445-1473.
    We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agents inform each other. We study this protocol in distributed computing models where communication might fail: an agent is certain about the messages it receives, but it may be uncertain about the messages other agents have received. In a dynamic epistemic logic with distributed knowledge and with modalities (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A dynamic epistemic framework for reasoning about conformant probabilistic plans.Yanjun Li, Barteld Kooi & Yanjing Wang - 2019 - Artificial Intelligence 268 (C):54-84.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Dynamic epistemic logics: promises, problems, shortcomings, and perspectives.Andreas Herzig - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):328-341.
    Dynamic epistemic logics provide an account of the evolution of agents’ belief and knowledge when they learn the occurrence of an event. These logics started to become popular about 20 years ago and by now there exists a huge number of publications about them. The present paper briefly summarises the existing body of literature, discusses some problems and shortcomings, and proposes some avenues for future research.
    Download  
     
    Export citation  
     
    Bookmark  
  • Planning-based knowing how: A unified approach.Yanjun Li & Yanjing Wang - 2021 - Artificial Intelligence 296 (C):103487.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Dynamic graded epistemic logic.Minghui Ma & Hans van Ditmarsch - 2019 - Review of Symbolic Logic 12 (4):663-684.
    Graded epistemic logic is a logic for reasoning about uncertainties. Graded epistemic logic is interpreted on graded models. These models are generalizations of Kripke models. We obtain completeness of some graded epistemic logics. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic. We give an extension with public announcements, i.e., public events, and an extension with graded event models, a generalization also including nonpublic events. We present complete axiomatizations for both logics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Private Announcements on Topological Spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - 2018 - Studia Logica 106 (3):481-513.
    In this work, we present a multi-agent logic of knowledge and change of knowledge interpreted on topological structures. Our dynamics are of the so-called semi-private character where a group G of agents is informed of some piece of information \, while all the other agents observe that group G is informed, but are uncertain whether the information provided is \ or \. This article follows up on our prior work where the dynamics were public events. We provide a complete axiomatization (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A logic for diffusion in social networks.Zoé Christoff & Jens Ulrik Hansen - 2015 - Journal of Applied Logic 13 (1):48-77.
    This paper introduces a general logical framework for reasoning about diffusion processes within social networks. The new “Logic for Diffusion in Social Networks” is a dynamic extension of standard hybrid logic, allowing to model complex phenomena involving several properties of agents. We provide a complete axiomatization and a terminating and complete tableau system for this logic and show how to apply the framework to diffusion phenomena documented in social networks analysis.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Topic-Based Communication Between Agents.Rustam Galimullin & Fernando R. Velázquez-Quesada - forthcoming - Studia Logica:1-49.
    Communication within groups of agents has been lately the focus of research in dynamic epistemic logic. This paper studies a recently introduced form of partial (more precisely, topic-based) communication. This type of communication allows for modelling scenarios of multi-agent collaboration and negotiation, and it is particularly well-suited for situations in which sharing all information is not feasible/advisable. The paper can be divided into two parts. In the first part, we present results on invariance and complexity of model checking. Moreover, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Announcement as effort on topological spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - 2019 - Synthese 196 (7):2927-2969.
    We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, with S5 knowledge modality, and demonstrate their completeness. We moreover consider the weaker axiomatizations of three logics with S4 type of knowledge and prove soundness and (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Forgetting complex propositions.David Fernández–Duque, Ángel Nepomuceno–Fernández, Enrique Sarrión–Morrillo, Fernando Soler–Toscano & Fernando R. Velázquez–Quesada - 2015 - Logic Journal of the IGPL 23 (6):942-965.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Semantic Approach to Non-prioritized Belief Revision.Elise Perrotin & Fernando R. Velázquez-Quesada - 2021 - Logic Journal of the IGPL 29 (4):644-671.
    Belief revision is concerned with belief change fired by incoming information. Despite the variety of frameworks representing it, most revision policies share one crucial feature: incoming information outweighs current information and hence, in case of conflict, incoming information will prevail. However, if one is interested in representing the way actual humans revise their beliefs, one might not always want for the agent to blindly believe everything they are told. This manuscript presents a semantic approach to non-prioritized belief revision. It uses (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.
    In this work we define contingency logic with arbitrary announcement. In contingency logic, the primitive modality contingency formalises that a proposition may be true but also may be false, so that if it is non-contingent then it is necessarily true or necessarily false. To this logic one can add dynamic operators to describe change of contingency. Our logic has operators for public announcement and operators for arbitrary public announcement, as in the dynamic epistemic logic called arbitrary public announcement logic. However, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Intuitionistic Public Announcement Logic with Distributed Knowledge.Ryo Murai & Katsuhiko Sano - 2024 - Studia Logica 112 (3):661-691.
    We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.
    Download  
     
    Export citation  
     
    Bookmark  
  • Coalition and Relativised Group Announcement Logic.Rustam Galimullin - 2021 - Journal of Logic, Language and Information 30 (3):451-489.
    There are several ways to quantify over public announcements. The most notable are reflected in arbitrary, group, and coalition announcement logics, with the latter being the least studied so far. In the present work, we consider coalition announcements through the lens of group announcements, and provide a complete axiomatisation of a logic with coalition announcements. To achieve this, we employ a generalisation of group announcements. Moreover, we study some logical properties of both coalition and group announcements that have not been (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Announcements to Attentive Agents.Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo & François Schwarzentruber - 2016 - Journal of Logic, Language and Information 25 (1):1-35.
    In public announcement logic it is assumed that all agents pay attention to the announcement. Weaker observational conditions can be modelled in action model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic. We give an axiomatization of the logic and prove that complexity of satisfiability is the same as that of public (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Bilattice logic of epistemic actions and knowledge.Zeinab Bakhtiari, Hans van Ditmarsch & Umberto Rivieccio - 2020 - Annals of Pure and Applied Logic 171 (6):102790.
    Baltag, Moss, and Solecki proposed an expansion of classical modal logic, called logic of epistemic actions and knowledge (EAK), in which one can reason about knowledge and change of knowledge. Kurz and Palmigiano showed how duality theory provides a flexible framework for modeling such epistemic changes, allowing one to develop dynamic epistemic logics on a weaker propositional basis than classical logic (for example an intuitionistic basis). In this paper we show how the techniques of Kurz and Palmigiano can be further (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The dynamic logic of stating and asking.Ivano Ciardelli - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction. LORI 2017. Springer. pp. 240-255.
    Inquisitive dynamic epistemic logic extends standard public announcement logic incorporating ideas from inquisitive semantics. In IDEL, the standard public announcement action can be extended to a more general public utterance action, which may involve a statement or a question. While uttering a statement has the effect of a standard announcement, uttering a question typically leads to new issues being raised. In this paper, we investigate the logic of this general public utterance action. We find striking commonalities, and some differences, with (...)
    Download  
     
    Export citation  
     
    Bookmark