Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power

Thomas Ã…gotnes, Natasha Alechina, Rustam Galimullin. Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information, 31(2):141-166, 2022. [doi]

Abstract

Abstract is missing.