"Handbook of Philosophical Logic" - читать интересную книгу автора (D.M.Gabbay, F.Guenthner eds)