3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Farid Arthaud, Martin Rinard
Epistemic logics model how agents reason about their beliefs and the beliefs of other agents. Existing logics typically assume the ability of agents to reason perfectly about propo…