b. 1945
Dov Gabbay (born 1945) is an Israeli logician and philosopher, Professor of Logic at King's College London, renowned for foundational contributions to non-classical logics, temporal logic, and argumentation theory. He developed the theory of labelled deductive systems and has been one of the most prolific authors and editors in formal logic, shaping the discipline through numerous handbooks and monographs. His work spans non-monotonic reasoning, modal logic, and the formal study of defeasible argumentation.
Developed the theory of labelled deductive systems, a unifying framework for non-classical logics
Pioneered formal approaches to temporal logic and its applications in computer science and philosophy
Foundational contributions to non-monotonic and defeasible reasoning
Co-editor of the landmark Handbook of Philosophical Logic series (multiple volumes)
Established rigorous formal frameworks for argumentation theory