Results 31 to 40 of about 1,884 (291)
A Dynamic Epistemic Framework for Conformant Planning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic.
Quan Yu, Yanjun Li, Yanjing Wang
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
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
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
A Modal Logic of Epistemic Games
Games, 2010 We propose some variants of a multi-modal of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information.
François Schwarzentruber +1 more
doaj +1 more source
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
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
Normal default rules as epistemic actions
Acta Universitatis Carolinae: Philosophica et Historica, 2016 The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action ...
Michal Dančák, Michal Peliš
doaj +1 more source