The Work
Operational modal logic
The details
The Author
Sergei N. Artemov
The offers