scholarly journals A Dynamic Epistemic Logic with a Knowability Principle

2015 ◽  
pp. 406-410 ◽  
Author(s):  
Michael Cohen
Keyword(s):  
Epistemic Logic ◽  
Dynamic Epistemic Logic ◽  
Knowability Principle

Topo-Logic as a Dynamic-Epistemic Logic

2017 ◽  
pp. 330-346 ◽  
Author(s):  
Alexandru Baltag ◽  
Aybüke Özgün ◽  
Ana Lucia Vargas Sandoval
Keyword(s):  
Epistemic Logic ◽  
Dynamic Epistemic Logic

scholarly journals The Dynamic Epistemic Logic for Actual Knowledge

2020 ◽  
Vol 49 (1) ◽  
Author(s):  
Arkadiusz Wójcik
Keyword(s):  
Epistemic Logic ◽  
Dynamic Epistemic Logic ◽  
Logical Omniscience ◽  
Actual Knowledge ◽  
Knowledge Change ◽  
The Past ◽  
Knowledge Models ◽  
Complete Axiomatization ◽  
New Information

The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization for this logic.

scholarly journals Playing cards with Hintikka An introduction to dynamic epistemic logic

2005 ◽  
Vol 3 ◽  
Author(s):  
H. P. Ditmarsch ◽  
W. Van Der Hoek ◽  
B. P. Kooi
Keyword(s):  
Epistemic Logic ◽  
Common Knowledge ◽  
Dynamic Epistemic Logic ◽  
Knowledge And Beliefs ◽  
Public Announcements

This contribution is a gentle introduction to so-called dynamic epistemic logics, that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of one, two and finally three players holding cards; and, mainly for the purpose of motivating the dynamics, we also very summarily introduce the concepts of general and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change their knowledge as the result of public announcements. One crucial topic in that setting is that of unsuccessful updates: formulas that become false when announced. The Moore-sentences that were already extensively discussed at the conception of epistemic logic in Hintikka’s ‘Knowledge and Belief ’ (1962) give rise to such unsuccessful updates. After that, we present a few examples of more complex epistemic updates.

Constrained Epistemic Extension on Agent Knowledge Acquisition

2013 ◽  
Vol 651 ◽  
pp. 943-948
Author(s):  
Zhi Ling Hong ◽  
Mei Hong Wu
Keyword(s):  
Epistemic Logic ◽  
Information Acquisition ◽  
Default Logic ◽  
Dynamic Epistemic Logic ◽  
Default Reasoning ◽  
Multi Agent Systems ◽  
Negotiation Strategy ◽  
Agent Systems ◽  
Multi Agent ◽  
Default Rules

In multi-agent systems, a number of autonomous pieces of software (the agents) interact in order to execute complex tasks. This paper proposes a logic framework portrays agent’s communication protocols in the multi-agent systems and a dynamic negotiation model based on epistemic default logic was introduced in this framework. In this paper, we use the constrained default rules to investigate the extension of dynamic epistemic logic, and constrained epistemic extension construct an efficient negotiation strategy via constrained epistemic default reasoning, which guarantees the important natures of extension existence and semi-monotonicity. We also specify characteristic of the dynamic updating when agent learn new knowledge in the logical framework. The method for the information sharing signify the usefulness of logical tools carried out in the dynamic process of information acquisition, and the distributed intelligent information processing show the effectiveness of reasoning default logic in the dynamic epistemic logic theory.

scholarly journals Agreement Theorems in Dynamic-Epistemic Logic

2012 ◽  
Vol 41 (4) ◽  
pp. 735-764 ◽  
Author(s):  
Cédric Dégremont ◽  
Oliver Roy
Keyword(s):  
Epistemic Logic ◽  
Dynamic Epistemic Logic ◽  
Agreement Theorems
Sign in / Sign up

Export Citation Format

Share Document