Modal Logic (2001)

by P Blackburn, M de Rijke, Y Venema