The Work
Basic modal logic
The details
The Author
John L. Pollock
The offers