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

T. Ågotnes, N Alechina, R. Galimullin

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)141-166
Number of pages26
JournalJournal of Logic, Language and Information
Volume31
Issue number2
DOIs
Publication statusPublished - Jun 2022

Keywords

  • Distributed knowledge
  • Dynamic epistemic logic
  • Group announcement logic
  • Public announcement logic

Cite this