Results 1-1 of 1
 | 
On axiomatizations of public announcement logic
期刊文章
Fulltext
Wang, Yanjing; Cao, Qinxiang
synthese
2013
[ABSTRACT] In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a "cor...
[KEYWORDS] Public announcement logic; Reduction axioms; Composition axiom; Dynamic epistemic logic; Completeness; Epistemic temporal logic; KNOWLEDGE
Results 1-1 of 1
  • <<
  • 1
  • >>

Data Facts