TitleKnowing Values and Public Inspection
Authorsvan Eijck, Jan
Gattinger, Malvin
Wang, Yanjing
AffiliationUniv Amsterdam, ILLC, Amsterdam, Netherlands.
CWI, SEN1, Amsterdam, Netherlands.
Peking Univ, Dept Philosophy, Beijing, Peoples R China.
KeywordsKnowing what
Bisimulation
Public announcement logic
INDEPENDENCE
Issue Date2017
Publisher7th Indian Conference on Logic and Its Applications (ICLA)
Citation7th Indian Conference on Logic and Its Applications (ICLA).2017,10119,77-90.
AbstractWe present a basic dynamic epistemic logic of "knowing the value". Analogous to public announcement in standard DEL, we study "public inspection", a new dynamic operator which updates the agents' knowledge about the values of constants. We provide a sound and strongly complete axiomatization for the single and multi-agent case, making use of the well-known Armstrong axioms for dependencies in databases.
URIhttp://hdl.handle.net/20.500.11897/469854
ISSN0302-9743
DOI10.1007/978-3-662-54069-5_7
IndexedCPCI-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.