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