Dynamic epistemic logic of finite identification

Authors:
Minghui Ma
Affiliations:
Department of Philosophy, Tsinghua University, Beijing, China
Venue:
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Year:
2009

Citing 2
Cited 0

The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Dynamic Epistemic Logic

Dynamic Epistemic Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

Following the approach given by Nina Gierasimczuk [2009] to bridge dynamic epistemic logic and learning theory, the logic of finite identification in the limit in the process of learning has been explored in this paper. The main results are two complete axiomatic systems. One is defined in terms of public announcements, and the other in terms of update by event models.