sur 63
Handbook of Modal Logic — Johan F.A.K. van Benthem, Patrick Blackburn, Frank Wolter