Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula...
ity and the speed of decision-making (extended abstract) Michael Mandler Department of Economics Royal Holloway College, University of London Egham, Surrey TW20 0EX United Kingdom ...
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...