Gabbay, D.&nbsp;M. (1998). <em>Elementary logics</em>. Prentice Hall series in computer science. Prentice Hall Europe,  London.