Israeli-British logician who has contributed to modal logic, temporal logic, labelled deductive systems, and is the editor of the most comprehensive reference work in philosophical logic.
Handbook of Philosophical Logic (multi-volume, editor): the comprehensive reference work for formal logic in philosophy. Labelled Deductive Systems: a framework for combining logics — any modality can be handled by adding labels tracking the relevant information. Fibring: a method for combining logics while preserving their properties.
Discussing
Ask anything about Dov Gabbay — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.