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