TitleOn Axiomatizations of PAL
AuthorsWang, Yanjing
AffiliationPeking Univ, Dept Philosophy, Beijing, Peoples R China.
KeywordsLOGICS
Issue Date2011
CitationLOGIC, RATIONALITY, AND INTERACTION.6953(314-327).
AbstractIn the literature, different axiomatizations of Public Announcement Logic (PAL) were proposed. Most of these axiomatizations share a 'core set' of the so-called reduction axioms. In particular, there is a composition axiom which stipulates how two consecutive announcements are composed into one. In this paper, by designing non-standard Kripke semantics for the language of PAL, we show that without the composition axiom the core set does not completely axiomatize PAL. In fact, most of the intuitive 'axioms' and rules we took for granted could not be derived from the core set. The non-standard semantics we proposed is of its own interest in modelling realistic agents. We show that with the help of different composition axioms we may axiomatize PAL w.r.t. such non-standard semantics.
URIhttp://hdl.handle.net/20.500.11897/406085
ISSN0302-9743
DOI10.1007/978-3-642-24130-7_23
IndexedEI
CPCI-S(ISTP)
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®



Checked on Last Week

Scopus®



Checked on Current Time

百度学术™



Checked on Current Time

Google Scholar™





License: See PKU IR operational policies.