de Rijke and Y (2001)

by P Blackburn, M
Venue:Venema, “Modal Logic,” Cambridge