Results 1-4 of 4
 | 
[ABSTRACT] In his seminal work [Plaza, 1989], Plaza proposed the public announcement logic (PAL), which is considered as the pilot logic in the field of dynam...
[KEYWORDS] 
会议论文
Wang, Yanjing; Aucher, Guillaume
2013
[ABSTRACT] In this paper, we provide a new axiomatization of the event-model-based Dynamic Epistemic Logic, based on the completeness proof method proposed in...
[KEYWORDS] 
期刊文章
Fulltext
Zhou, Lingli; Ma, Bo-Qiang
astroparticle physics
2013
[ABSTRACT] We make a reanalysis on the issue of neutrino speed anomaly by taking into account the newly reported data from the ICARUS experiment and other CNG...
[KEYWORDS] Neutrino speed; Light speed; Lorentz violation; Physical invariance; GENERAL PRINCIPLE; SN1987A
期刊文章
Fulltext
Liu, Fenrong; Wang, Yanjing
minds and machines
2013
[ABSTRACT] In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based...
[KEYWORDS] Agent types; Public announcement logic; Questioning strategy; Knight and Knaves; The hardest logic puzzle ever; QUESTIONS
Results 1-4 of 4
  • <<
  • 1
  • >>