Announcement as effort on topological spaces

HIGHLIGHTS

• who: Hans Ditmarsch from the LORIA, CNRS, Université de Lorraine, Nancy, France have published the article: Announcement as effort on topological spaces, in the Journal: (JOURNAL)
• what: The authors propose a multi-agent logic of knowledge public announcements and arbitrary announcements interpreted in the style of subset space semantics. The authors provide axiomatizations for three logics based this setting with S5 knowledge modality and demonstrate their completeness. In Sect 4 the authors demonstrate completeness for these logics. In Sect 6 the authors compare the work to that of others, and then conclude.
• future . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.