Handbook of Philosophical Logic, Volume 1 door