Switch to: References

Add citations

You must login to add citations.
  1. Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.
    This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory of knowledge and belief, that we call “dynamic epistemology”. It brings the works of these researchers under a single umbrella by highlighting the coherence of their current themes, and by establishing connections between topics that, up until now, have been investigated independently. It also illustrates how the new analytical toolbox unveils questions about the theory of knowledge, belief, preference, action, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.
    The paper develops a set of quantified temporal alethic boulesic doxastic systems. Every system in this set consists of five parts: a ‘quantified’ part, a temporal part, a modal (alethic) part, a boulesic part and a doxastic part. There are no systems in the literature that combine all of these branches of logic. Hence, all systems in this paper are new. Every system is defined both semantically and proof-theoretically. The semantic apparatus consists of a kind of$$T \times W$$T×Wmodels, and the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 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  
  • Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.
    This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.
    This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Reverse Public Announcement Operators on Expanded Models.Ryuichi Sebastian Haney - 2018 - Journal of Logic, Language and Information 27 (3):205-224.
    Past public announcement operators have been defined in Hoshi and Yap :259–281, 2009) and Yap, to describe an agent’s knowledge before an announcement occurs. These operators rely on branching-time structures that do not mirror the traditional, relativization-based semantics of public announcement logic, and favor a historical reading of past announcements. In this paper, we introduce reverse public announcement operators that are interpreted on expanded models. Our model expansion adds accessibility links from an epistemic model \ to a filtrated submodel of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.
    A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...)
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • Logic for update products and steps into the past.Joshua Sack - 2010 - Annals of Pure and Applied Logic 161 (12):1431-1461.
    This paper provides a sound and complete proof system for a language that adds to Dynamic Epistemic Logic a discrete previous-time operator as well as single symbol formulas that partially reveal the most recent event that occurred. The completeness theorem is by filtration followed by model unraveling and other model transformations. Decidability follows from the completeness proof. The degree to which it is important to include the additional single symbol formulas is addressed in a discussion about the difficulties of the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The Conditions of Collectivity: Joint Commitment and the Shared Norms of Membership.Titus Stahl - 2013 - In Anita Konzelmann Ziv & Hans Bernhard Schmid (eds.), Institutions, Emotions, and Group Agents. Dordrecht: Springer. pp. 229-244.
    Collective intentionality is one of the most fundamental notions in social ontology. However, it is often thought to refer to a capacity which does not presuppose the existence of any other social facts. This chapter critically examines this view from the perspective of one specific theory of collective intentionality, the theory of Margaret Gilbert. On the basis of Gilbert’s arguments, the chapter claims that collective intentionality is a highly contingent achievement of complex social practices and, thus, not a basic social (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Extending probabilistic dynamic epistemic logic.Joshua Sack - 2009 - Synthese 169 (2):241 - 257.
    This paper aims to extend in two directions the probabilistic dynamic epistemic logic provided in Kooi’s paper (J Logic Lang Inform 12(4):381–408, 2003) and to relate these extensions to ones made in van Benthem et al. (Proceedings of LOFT’06. Liverpool, 2006). Kooi’s probabilistic dynamic epistemic logic adds to probabilistic epistemic logic sentences that express consequences of public announcements. The paper (van Benthem et al., Proceedings of LOFT’06. Liverpool, 2006) extends (Kooi, J Logic Lang Inform 12(4):381–408, 2003) to using action models, (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Before announcement.Philippe Balbiani, Hans van Ditmarsch & Andreas Herzig - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 58-77.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logics of temporal-epistemic actions.Bryan Renne, Joshua Sack & Audrey Yap - 2016 - Synthese 193 (3):813-849.
    We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations are natural extensions of the well-known “action models” from Dynamic Epistemic Logic. Our “temporal action models” may be used to define a number of informational actions that can modify the “objective” temporal structure of a model along with the agents’ basic and higher-order knowledge and beliefs about this structure, including their beliefs about the time. In essence, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations