Arbitrary announcements on topological subset spaces

Hans van Ditmarsch; Sophia Knight; Aybüke Özgün

doi:10.1007/978-3-319-17130-2_17

Arbitrary announcements on topological subset spaces

Hans van Ditmarsch, Sophia Knight, Aybüke Özgün

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

12 Scopus citations

Abstract

Subset space semantics for public announcement logic in the spirit of the effort modality have been proposed by Wang and Ågotnes [18] and by Bjorndahl [6]. They propose to model the public announcement modality by shrinking the epistemic range with respect to which a postcondition of the announcement is evaluated, instead of by restricting the model to the set of worlds satisfying the announcement. Thus we get an “elegant, model-internal mechanism for interpreting public announcements” [6, p. 12]. In this work, we extend Bjorndahl’s logic PALint of public announcement, which is modelled on topological spaces using subset space semantics and adding the interior operator, with an arbitrary announcement modality, and we provide topological subset space semantics for the corresponding arbitrary announcement logic APALint, and demonstrate completeness of the logic by proving that it is equal in expressivity to the logic without arbitrary announcements, employing techniques from [2,13].

Original language	English (US)
Title of host publication	Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers
Editors	Nils Bulling
Publisher	Springer Verlag
Pages	252-266
Number of pages	15
ISBN (Print)	9783319171296
DOIs	https://doi.org/10.1007/978-3-319-17130-2_17
State	Published - 2015
Externally published	Yes
Event	12th European Conference on Multi-Agent Systems, EUMAS 2014 - Prague, Czech Republic Duration: Dec 18 2014 → Dec 19 2014

Publication series

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

Other

Other	12th European Conference on Multi-Agent Systems, EUMAS 2014
Country/Territory	Czech Republic
City	Prague
Period	12/18/14 → 12/19/14

Bibliographical note

Funding Information:
We thank the EUMAS reviewers and Philippe Balbiani for their valuable comments. Hans van Ditmarsch is also affiliated to IMSc (Institute of Mathematical Sciences), Chennai, as research associate. We acknowledge support from European Research Council grant EPS 313360.

Publisher Copyright:
© Springer International Publishing Switzerland 2015.

Access

10.1007/978-3-319-17130-2_17

OpenUrl availability

Full text

Cite this

van Ditmarsch, H., Knight, S., & Özgün, A. (2015). Arbitrary announcements on topological subset spaces. In N. Bulling (Ed.), Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers (pp. 252-266). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8953). Springer Verlag. https://doi.org/10.1007/978-3-319-17130-2_17

Arbitrary announcements on topological subset spaces. / van Ditmarsch, Hans; Knight, Sophia; Özgün, Aybüke.
Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers. ed. / Nils Bulling. Springer Verlag, 2015. p. 252-266 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8953).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

van Ditmarsch, H, Knight, S & Özgün, A 2015, Arbitrary announcements on topological subset spaces. in N Bulling (ed.), Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8953, Springer Verlag, pp. 252-266, 12th European Conference on Multi-Agent Systems, EUMAS 2014, Prague, Czech Republic, 12/18/14. https://doi.org/10.1007/978-3-319-17130-2_17

van Ditmarsch H, Knight S, Özgün A. Arbitrary announcements on topological subset spaces. In Bulling N, editor, Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers. Springer Verlag. 2015. p. 252-266. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-17130-2_17

van Ditmarsch, Hans ; Knight, Sophia ; Özgün, Aybüke. / Arbitrary announcements on topological subset spaces. Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers. editor / Nils Bulling. Springer Verlag, 2015. pp. 252-266 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b976d1ddbd924c8493f0bbd942e4f6a8,

title = "Arbitrary announcements on topological subset spaces",

abstract = "Subset space semantics for public announcement logic in the spirit of the effort modality have been proposed by Wang and {\AA}gotnes [18] and by Bjorndahl [6]. They propose to model the public announcement modality by shrinking the epistemic range with respect to which a postcondition of the announcement is evaluated, instead of by restricting the model to the set of worlds satisfying the announcement. Thus we get an “elegant, model-internal mechanism for interpreting public announcements” [6, p. 12]. In this work, we extend Bjorndahl{\textquoteright}s logic PALint of public announcement, which is modelled on topological spaces using subset space semantics and adding the interior operator, with an arbitrary announcement modality, and we provide topological subset space semantics for the corresponding arbitrary announcement logic APALint, and demonstrate completeness of the logic by proving that it is equal in expressivity to the logic without arbitrary announcements, employing techniques from [2,13].",

author = "{van Ditmarsch}, Hans and Sophia Knight and Ayb{\"u}ke {\"O}zg{\"u}n",

note = "Funding Information: We thank the EUMAS reviewers and Philippe Balbiani for their valuable comments. Hans van Ditmarsch is also affiliated to IMSc (Institute of Mathematical Sciences), Chennai, as research associate. We acknowledge support from European Research Council grant EPS 313360. Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 12th European Conference on Multi-Agent Systems, EUMAS 2014 ; Conference date: 18-12-2014 Through 19-12-2014",

year = "2015",

doi = "10.1007/978-3-319-17130-2_17",

language = "English (US)",

isbn = "9783319171296",

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

publisher = "Springer Verlag",

pages = "252--266",

editor = "Nils Bulling",

booktitle = "Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers",

}

TY - GEN

T1 - Arbitrary announcements on topological subset spaces

AU - van Ditmarsch, Hans

AU - Knight, Sophia

AU - Özgün, Aybüke

N1 - Funding Information: We thank the EUMAS reviewers and Philippe Balbiani for their valuable comments. Hans van Ditmarsch is also affiliated to IMSc (Institute of Mathematical Sciences), Chennai, as research associate. We acknowledge support from European Research Council grant EPS 313360. Publisher Copyright: © Springer International Publishing Switzerland 2015.

PY - 2015

Y1 - 2015

N2 - Subset space semantics for public announcement logic in the spirit of the effort modality have been proposed by Wang and Ågotnes [18] and by Bjorndahl [6]. They propose to model the public announcement modality by shrinking the epistemic range with respect to which a postcondition of the announcement is evaluated, instead of by restricting the model to the set of worlds satisfying the announcement. Thus we get an “elegant, model-internal mechanism for interpreting public announcements” [6, p. 12]. In this work, we extend Bjorndahl’s logic PALint of public announcement, which is modelled on topological spaces using subset space semantics and adding the interior operator, with an arbitrary announcement modality, and we provide topological subset space semantics for the corresponding arbitrary announcement logic APALint, and demonstrate completeness of the logic by proving that it is equal in expressivity to the logic without arbitrary announcements, employing techniques from [2,13].

AB - Subset space semantics for public announcement logic in the spirit of the effort modality have been proposed by Wang and Ågotnes [18] and by Bjorndahl [6]. They propose to model the public announcement modality by shrinking the epistemic range with respect to which a postcondition of the announcement is evaluated, instead of by restricting the model to the set of worlds satisfying the announcement. Thus we get an “elegant, model-internal mechanism for interpreting public announcements” [6, p. 12]. In this work, we extend Bjorndahl’s logic PALint of public announcement, which is modelled on topological spaces using subset space semantics and adding the interior operator, with an arbitrary announcement modality, and we provide topological subset space semantics for the corresponding arbitrary announcement logic APALint, and demonstrate completeness of the logic by proving that it is equal in expressivity to the logic without arbitrary announcements, employing techniques from [2,13].

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

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

U2 - 10.1007/978-3-319-17130-2_17

DO - 10.1007/978-3-319-17130-2_17

M3 - Conference contribution

AN - SCOPUS:84942795018

SN - 9783319171296

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

SP - 252

EP - 266

BT - Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers

A2 - Bulling, Nils

PB - Springer Verlag

T2 - 12th European Conference on Multi-Agent Systems, EUMAS 2014

Y2 - 18 December 2014 through 19 December 2014

ER -

Arbitrary announcements on topological subset spaces

Abstract

Publication series

Other

Bibliographical note

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this