The Continuum companion to philosophical logic - Pettigrew, Richard F.; Horsten, Leon (Continuum, 2011)