A Runs−and−Systems Semantics for Logics of Announcement

Logics of announcements are logics of knowledge to reason about agents that communicate by broadcasting interpreted messages. These logics are typically given a semantics in terms of updatable Kripke structures, which tend to be abstract. We revisit the semantics of logics of announcements and devel...

Celý popis

Podrobná bibliografie
Hlavní autoři: Pucella, R, Sadrzadeh, M
Médium: Journal article
Vydáno: 2009