Coalgebraic Announcement Logics

Gorin D, Schröder L, Carreiro F (2013)

Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2013

Journal

Lecture Notes in Computer Science Springer Verlag

Publisher: Springer-verlag

Edited Volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Series: Lecture Notes in Computer Science

City/Town: Berlin

Book Volume: 7966

Pages Range: 101-112

Conference Proceedings Title: Proc. 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, Part II

Event location: Riga LV

ISBN: 978-3-642-39211-5

DOI: 10.1007/978-3-642-39212-2_12

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.

Authors with CRIS profile

Daniel Gorin Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics (GenMod) May 1, 2008 - Sept. 30, 2016 Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014

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: Download