A dynamic epistemic logic with a knowability principle

Michael Cohen

doi:10.1007/978-3-662-48561-3_33

A dynamic epistemic logic with a knowability principle

Michael Cohen^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

Abstract

A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.

Original language	English
Title of host publication	Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings
Editors	Wen-Fang Wang, Wiebe van der Hoek, Wesley H. Holliday
Publisher	Springer Verlag
Pages	406-410
Number of pages	5
ISBN (Print)	9783662485606
DOIs	https://doi.org/10.1007/978-3-662-48561-3_33
Publication status	Published - 2015
Externally published	Yes
Event	5th International Workshop on Logic, Rationality, and Interaction, LORI 2015 - Taipei, Taiwan, Province of China Duration: 28 Oct 2015 → 31 Oct 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9394
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Workshop on Logic, Rationality, and Interaction, LORI 2015
Country/Territory	Taiwan, Province of China
City	Taipei
Period	28/10/15 → 31/10/15

Access to Document

10.1007/978-3-662-48561-3_33

Cite this

Cohen, M. (2015). A dynamic epistemic logic with a knowability principle. In W.-F. Wang, W. van der Hoek, & W. H. Holliday (Eds.), Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings (pp. 406-410). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9394). Springer Verlag. https://doi.org/10.1007/978-3-662-48561-3_33

Cohen, Michael. / A dynamic epistemic logic with a knowability principle. Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings. editor / Wen-Fang Wang ; Wiebe van der Hoek ; Wesley H. Holliday. Springer Verlag, 2015. pp. 406-410 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3201bb77e8db43acb9e60675ac3cf0c1,

title = "A dynamic epistemic logic with a knowability principle",

abstract = "A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.",

author = "Michael Cohen",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2015.; 5th International Workshop on Logic, Rationality, and Interaction, LORI 2015 ; Conference date: 28-10-2015 Through 31-10-2015",

year = "2015",

doi = "10.1007/978-3-662-48561-3_33",

language = "English",

isbn = "9783662485606",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "406--410",

editor = "Wen-Fang Wang and {van der Hoek}, Wiebe and Holliday, {Wesley H.}",

booktitle = "Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings",

address = "Germany",

}

Cohen, M 2015, A dynamic epistemic logic with a knowability principle. in W-F Wang, W van der Hoek & WH Holliday (eds), Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9394, Springer Verlag, pp. 406-410, 5th International Workshop on Logic, Rationality, and Interaction, LORI 2015, Taipei, Taiwan, Province of China, 28/10/15. https://doi.org/10.1007/978-3-662-48561-3_33

A dynamic epistemic logic with a knowability principle. / Cohen, Michael.
Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings. ed. / Wen-Fang Wang; Wiebe van der Hoek; Wesley H. Holliday. Springer Verlag, 2015. p. 406-410 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9394).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - A dynamic epistemic logic with a knowability principle

AU - Cohen, Michael

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2015.

PY - 2015

Y1 - 2015

N2 - A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.

AB - A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.

UR - http://www.scopus.com/inward/record.url?scp=84951159083&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-48561-3_33

DO - 10.1007/978-3-662-48561-3_33

M3 - Conference contribution

AN - SCOPUS:84951159083

SN - 9783662485606

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 406

EP - 410

BT - Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings

A2 - Wang, Wen-Fang

A2 - van der Hoek, Wiebe

A2 - Holliday, Wesley H.

PB - Springer Verlag

T2 - 5th International Workshop on Logic, Rationality, and Interaction, LORI 2015

Y2 - 28 October 2015 through 31 October 2015

ER -

Cohen M. A dynamic epistemic logic with a knowability principle. In Wang WF, van der Hoek W, Holliday WH, editors, Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings. Springer Verlag. 2015. p. 406-410. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-48561-3_33

A dynamic epistemic logic with a knowability principle

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this