Coalgebraic Announcement Logics

Conference contribution
(Original article)


Publication Details

Author(s): Gorin D, Schröder L, Carreiro F
Title edited volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher: Springer-verlag
Publishing place: Berlin
Publication year: 2013
Title of series: Lecture Notes in Computer Science
Volume: 7966
Conference Proceedings Title: Proc. 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, Part II
Pages range: 101-112
ISBN: 978-3-642-39211-5
ISSN: 0302-9743
Language: English


Abstract


In epistemic logic, dynamic operators describe the evolution of the knowledge of participating agents through communication, one of the most basic forms of communication being public announcement. Semantically, dynamic operators correspond to transformations of the underlying model. While metatheoretic results on dynamic epistemic logic so far are largely limited to the setting of Kripke models, there is evident interest in extending its scope to non-relational modalities capturing, e.g., uncertainty or collaboration. We develop a generic framework for non-relational dynamic logic by adding dynamic operators to coalgebraic logic. We discuss a range of examples and establish basic results including bisimulation invariance, complexity, and a small model property. © 2013 Springer-Verlag.



FAU Authors / FAU Editors

Gorin, Daniel Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


How to cite

APA:
Gorin, D., Schröder, L., & Carreiro, F. (2013). Coalgebraic Announcement Logics. In Proc. 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, Part II (pp. 101-112). Riga, LV: Berlin: Springer-verlag.

MLA:
Gorin, Daniel, Lutz Schröder, and Facundo Carreiro. "Coalgebraic Announcement Logics." Proceedings of the 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, Riga Berlin: Springer-verlag, 2013. 101-112.

BibTeX: 

Last updated on 2018-19-04 at 02:53