[logic-ml] 【重要：中止のご連絡】Talk by Thomas Agotnes (1/23) [Cancelled]

[Koji Hasebe]

皆様、

1月23日（月）に開催を予定しておりましたThomas Agotnes先生のセミナーにつきましては、
大変申し訳ございませんが、私の事情で中止とさせて頂きたくお願い申し上げます。
ご参加を予定されていた方々には、心よりお詫び申し上げます。

Dear all,

The seminar talk by Professor Thomas Agotnes scheduled for Jan 23rd has been cancelled due to my personal reason.
Please accept my sincere apologies for this inconvenience.

長谷部浩二＠筑波大学


On 2012/01/16, at 18:03, Koji Hasebe wrote:

> 皆様、
> 
> 1月23日（月）に開催されるセミナーのご案内をさせて頂きます。
> どうぞお気軽にお越し下さい。
> 
> 長谷部浩二＠筑波大学
> 
> ---------------------------------------------
> Date：14:00-15:00, Jan 23, 2012
> Place: Room SB-911-1 (Laboratory of Advanced Research-B, 9th floor), 
>  Tsukuba-campus, University of Tsukuba
>    http://www.tsukuba.ac.jp/english/access/tsukuba_access.html
>    http://www.tsukuba.ac.jp/english/access/map_central.html   
> 
>  （筑波大学 筑波キャンパス，総合研究棟B，9階，911-1号室）
>    http://www.tsukuba.ac.jp/access/tsukuba_access.html
>    http://www.tsukuba.ac.jp/access/map_central.html
> 
> Speaker: Thomas Ågotnes, Department of Information Science and Media Studies, University of Bergen
> 
> Title: Group Announcement Logic
> 
> Abstract:
> Public announcement logic is used to reason about the epistemic pre- and post-conditions of actions in the form of public announcements. In the talk I will present Group Announcement Logic (GAL), an extension of public announcement logic with constructs (well known from coalition logic) of the form <G>phi, where G is a group of agents. In GAL, the meaning of <G>phi is that there exists an announcement that the members of G can jointly and truthfully make, and after that announcement is made public phi will be true. After introducing GAL I will discuss how it can be used to express properties such as "there is a sequence of truthful public announcements by agents in G, after which phi is true"; the distinction between "agent i knows *that* phi can be achieved by a public announcement" and "agent i knows *how* phi can be achieved by a public announcement"; and meta-logical properties such as axiomatization, expressivity and the complexity of the model checking problem. The talk
>  is based on joint work with Philippe Balbiani, Hans van Ditmarsch and Pablo Seban.
> ---------------------------------------------
> 
> _______________________________________________
> Logic-ml mailing list
> Logic-ml at sato.kuis.kyoto-u.ac.jp
> http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml