38 citations · 267 across the 48 of their papers we have counts for
1 paper · 2 filters
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…