A Hybrid Public Announcement Logic with Distributed Knowledge

Jens Ulrik Hansen. A Hybrid Public Announcement Logic with Distributed Knowledge. Electronic Notes in Theoretical Computer Science, 273:33-50, 2011. [doi]

Abstract

Abstract is missing.