An Introduction to Modal Logic (1987)

by Linear Logic
Venue:Theoretical Computer Science