Tools and techniques in modal logic - Kracht, Marcus (Elsevier, 1999)
Literaturverz. S. 549 - 559