Handbook of logic and language - Benthem, Johan F. van; Meulen, Alice ter (Elsevier The MIT Press, 1997)