A logic of propositional control for truthful implementations.

Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge

Browse the full TARK paper archive.