Handbook of logic and language - Benthem, Johan F.A.K. van (Elsevier science B.V. ; The MIT Press, 1997)