4 citations · 6 across the 4 of their papers we have counts for
5 papers
The Undecidability of Quantified Announcements
Thomas Ågotnes, Hans van Ditmarsch, Tim French
This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic (APAL), group announcement logic…
Simpler completeness proofs for modal logics with intersection
Yì N. Wáng, Thomas Ågotnes
There has been a significant interest in extending various modal logics with intersection, the most prominent examples being epistemic and doxastic logics with distributed knowledg…
Resolving Distributed Knowledge
Thomas Ågotnes, Yì N. Wáng
Distributed knowledge is the sum of the knowledge in a group; what someone who is able to discern between two possible worlds whenever any member of the group can discern between t…
True Lies
Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
A true lie is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a formula (that is false and) that beco…
Completeness of Epistemic Coalition Logic with Group Knowledge
Thomas Ågotnes, Natasha Alechina
Coalition logic is one of the most popular logics for multi-agent systems. While epistemic extensions of coalition logic have received much attention, existence of their complete a…