Handbook of Philosophical Logic, Volume 7 by Professor Dov M. Gabbay