Results 21 to 30 of about 77,232 (273)
Agreement Theorems in Dynamic-Epistemic Logic [PDF]
Journal of Philosophical Logic, 2009 This paper introduces the idea of agreement theorems, which originate with the work of Robert Aumann, and shows how they can be represented in a dynamic epistemic logic setting. Aumann's result was that, if agents have common prior beliefs, then differences in their posterior beliefs cannot be common knowledge.
Degremont, Cedric, Roy, Oliver
openaire +4 more sources
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The usual epistemic model S5n for a multi-agent system is based on a Kripke frame, which is a graph whose edges are labeled with agents that do not distinguish between two states.
Éric Goubault +2 more
doaj +1 more source
Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic
Applied Sciences, 2022 This paper provides an overview of quantum dynamic logics, showing how they have been designed and illustrating how these logics can be applied to verify the correctness of quantum protocols.
Alexandru Baltag, Sonja Smets
doaj +1 more source
Logics of Temporal-Epistemic Actions [PDF]
, 2014 We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation.
Renne, Bryan, Sack, Joshua, Yap, Audrey
core +3 more sources
Dynamic epistemic logic in update logic [PDF]
Journal of Logic and Computation, 2016 We show that dynamic epistemic logic (DEL) is a substructural logic and that it is an extension of the update logic introduced in the companion article [12]. We identify axioms and inference rules that completely characterize the DEL product update, and we provide a sequent calculus for DEL.
openaire +2 more sources
Connecting dynamic epistemic and temporal epistemic logics [PDF]
Logic Journal of IGPL, 2011 We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke model with equivalence relations) and a formula in a dynamic epistemic logic (a logic describing the consequences of epistemic ...
H. van Ditmarsch +2 more
openaire +1 more source
Learning Action Models: Qualitative Approach [PDF]
, 2015 In dynamic epistemic logic, actions are described using action models. In this paper we introduce a framework for studying learnability of action models from observations. We present first results concerning propositional action models.
Bolander, Thomas, Gierasimczuk, Nina
core +3 more sources
Exploring the power of converse events [PDF]
, 2009 Dynamic epistemic logic as viewed by Baltag, Moss and Solecki (DEL) and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistemic logic by introducing so-called event models as syntactic ...
Aucher, Guillaume, Herzig, Andreas
core +4 more sources
Toward a Theory of Play: A Logical Perspective on Games and Interaction
Games, 2011 Logic and game theory have had a few decades of contacts by now, with the classical results of epistemic game theory as major high-lights. In this paper, we emphasize a recent new perspective toward “logical dynamics”, designing logical systems that ...
Olivier Roy +2 more
doaj +1 more source
A Four-Valued Dynamic Epistemic Logic [PDF]
Journal of Logic, Language and Information, 2020 AbstractEpistemic logic is usually employed to model two aspects of a situation: the factual and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a four-valued epistemic logic designed to deal with these situations,
openaire +3 more sources