A logic of propositional control for truthful implementations

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - TARK '09 ◽

10.1145/1562814.1562846 ◽

2009 ◽

Author(s):

Nicolas Troquard ◽

Wiebe van der Hoek ◽

Michael Wooldridge

Download Full-text