Search papers, labs, and topics across Lattice.
1
0
Common belief isn't KD4 as commonly believed: it requires an additional axiom dependent on the number of agents to fully characterize its logic when individual belief is KD45.
