Results 31 to 40 of about 3,323 (276)
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
Symbolic Model Checking for Dynamic Epistemic Logic – S5 and Beyond [PDF]
, 2017 Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with the
van Benthem, J. +11 more
core +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
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic [PDF]
, 2017 The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete ...
Rendsvig, Rasmus K., +2 more
core +2 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
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
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
A Logic for Multi-Agent Conformant Planning Over Transition Systems
IEEE Access, 2020 Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of ...
Peipei Wu, Yanjun Li
doaj +1 more source
Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In this paper we introduce a computational-level model of theory of mind (ToM) based on dynamic epistemic logic (DEL), and we analyze its computational complexity. The model is a special case of DEL model checking.
Iris van de Pol +2 more
doaj +1 more source