The Work
dynamic logic
The details
The Author
Vaughan Pratt
The offers