2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2020
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…
cs.LO2016★ 2 cited
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…
cs.LO2011
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…