Results 11 to 20 of about 1,741 (282)
On the Complexity of Dynamic Epistemic Logic
, 2013 10 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark ...
Guillaume Aucher +1 more
+8 more sources
Agreement theorems in dynamic-epistemic logic [PDF]
Journal of Philosophical Logic, 2009 This paper introduces Agreement Theorems to dynamic-epistemic logic. We show first that common belief of posteriors is sufficient for agreement in epistemic-plausibility models, under common and well-founded priors. We do not restrict ourselves to the finite case, showing that in countable structures the results hold if and only if the underlying ...
Cédric Dégremont, Olivier Roy
openalex +7 more sources
The synchronicity of dynamic epistemic logic [PDF]
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, 2011 In a recent paper, van Benthem, Gerbrandy, Hoshi and Pacuit gave a natural translation of dynamic epistemic logic (DEL) into epistemic temporal logic (ETL) and proved a representation theorem, characterizing those ETL models that are translations of some DEL protocol; among the characterizing properties we also find synchronicity.
Cédric Dégremont +2 more
openalex +6 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,
Yuri David Santos
openalex +4 more sources
Dynamic Epistemic Logic as a Substructural Logic [PDF]
, 2014 Dynamic Epistemic Logic (DEL) is an influential logical framework for reasoning about the dynamics of beliefs and knowledge. It has been related to older and more established logical frameworks. Despite these connections, DEL remains, arguably, a rather isolated logic in the vast realm of non-classical logics and modal logics.
Guillaume Aucher
openalex +5 more sources
Dynamic epistemic logic with assignment [PDF]
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, 2005 We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. We make a distinction between 'public assignment' and 'atomic assignment'. Public assignment means that the entire group of agents is aware of the factual change.
Hans P. van Ditmarsch +2 more
openalex +4 more sources
Terminating Tableaux for Dynamic Epistemic Logics
Electronic Notes in Theoretical Computer Science, 2010 AbstractThroughout the last decade, there has been an increased interest in various forms of dynamic epistemic logics to model the flow of information and the effect this flow has on knowledge in multi-agent systems. This enterprise, however, has mostly been applicationally and semantically driven.
Jens Ulrik Hansen
openalex +3 more sources
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
, 2020 Dynamic Epistemic Logic (DEL) is a logical framework in which one can describe in great detail how actions are perceived by the agents, and how they affect the world. DEL games were recently introduced as a way to define classes of games with imperfect information where the actions available to the players are described very precisely.
Bastien Maubert +4 more
openalex +7 more sources
THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC [PDF]
The Review of Symbolic Logic, 2013 AbstractA commonly used dynamic epistemic logic is one obtained by adding commonknowledge and public announcements to a basic epistemic logic. It is known from Kooi (2007) that adding public substitutions to such a logic adds expressivity over the class K of models.
Louwe B. Kuijer
openalex +6 more sources
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.
Hans P. van Ditmarsch +2 more
openalex +4 more sources