Author:
Publication: Artificial Intelligence
On strengthening the logic of iterated belief revision: Proper ordinal interval operators
Verification of multi-agent systems with public actions against strategy logic