'Knowable' as 'known after an announcement'
type: Dataset
description: This journal version is based on our TARK 2007 conference contribution (Balbiani et al., 2007). It is quite heavily revised. Apart from a different presentation and full proof details for all propositions, there is another expressivity result, the axiomatization is different, and the issue of knowability is addressed in much greater detail.
issued: 2026-05-12T18:38:13.226808
language: en
modified: 2026-05-12T18:38:13.226814
contact point: Organization
  fn: CCSD
keyword: epistemic-logic
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
keyword: journal-articles
keyword: logic-of-actions
keyword: modal-logic
keyword: multi-agent-systems
landing page: 1755-0203

'Knowable' as 'known after an announcement'
type: Distribution
format: HTML
issued: 2026-05-12T18:38:13.258975
modified: 2026-05-12T18:38:13.209687
access URL: https://hal.science/hal-00800649

test_moissonnage_selune
type: Agent