Handbook of philosophical logic. Vol. 5 - Gabbay, Dov M.; Guenther F.; Dalen, Dirk van; Felscher, Walter; Bencivenga, Ermanno; Lehmann, Scott; Blamey, Stephen (Array, 2002)