Maarten de Rijke, and Yde Venema. Modal Logic, volume 53 of Cambridge Tracts (2001)

by Patrick Blackburn
Venue:in Theoretical Computer Science