Semantic structures - Abramsky, Samson, 1953-; Gabbay, Dov M.; Maibaum, Thomas S. E. (Clarendon Press, Oxford University Press, 1994)