43 citations · 78 across the 13 of their papers we have counts for
3 papers · 1 filter
Voting Theory in the Lean Theorem Prover
Wesley H. Holliday, Chase Norman, Eric Pacuit
There is a long tradition of fruitful interaction between logic and social choice theory. In recent years, much of this interaction has focused on computer-aided methods such as SA…
Intention as Commitment toward Time
Marc van Zee, Dragan Doder, Leendert van der Torre +3
In this paper we address the interplay among intention, time, and belief in dynamic environments. The first contribution is a logic for reasoning about intention, time and belief,…
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic. In coal…