This is my master thesis completed in the ILLC (Insitute for Logic Language and Computation) in October 2004.
Supervisors: Professor Johan van Benthem, and Professor Jan van Eijck
Abstract: In this thesis, I showed how BMS framework (the state-of-the-art Dynamic Epistemic Logic) models the cases of message passing, and proposed a logical axiomatisation called Logic CC. I then studied the sufficient and necessary conditions for two action models to have the same update effects, and proposed a structural relation between action models, named action emulation, to capture the same update effects for the propositional case. Finally, I discussed the problem of update evolution and showed a sufficient condition for the stabilization of update evolution.
Download: pdf from the ILLC website or from here.
BibTex:
@mastersthesis{jiruan2004,
author = “Ji Ruan”,
title = “Exploring the Update Universe”,
school = “ILLC Publications, Master of Logic Thesis Series”,
year = 2004
}
No related posts.
Related posts brought to you by Yet Another Related Posts Plugin.
No Comments
You must be logged in to post a comment.
