Results 31 to 40 of about 1,988 (154)
A Spatial-Epistemic Logic for Reasoning about Security Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques need to cope with some notions of information locality and knowledge ...
Bernardo Toninho, Luís Caires
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
Dynamic Epistemic Logic Displayed [PDF]
, 2013 We introduce a display calculus for the logic of Epistemic Actions and Knowledge (EAK) of Baltag-Moss-Solecki. This calculus is cut-free and complete w.r.t. the standard Hilbert-style presentation of EAK, of which it is a conservative extension, given that—as is common to display calculi—it is defined on an expanded language in which all logical ...
Giuseppe Greco 0001 +2 more
openaire +2 more sources
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.
Cédric Dégremont, Olivier Roy
openaire +4 more sources
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
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
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
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
Sum and Product in Dynamic Epistemic Logic [PDF]
Journal of Logic and Computation, 2007 The Sum-and-Product riddle was first published in the reference H. Freudenthal (1969, Nieuw Archief voor Wiskunde 3, 152) [6]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community.
van Ditmarsch, H.P. +2 more
openaire +2 more sources