Prof. Dov Gabbay

Prof.

Research

Logic and Computation, Dynamics of Practical Reasoning,

Proof Theory and Goal-directed Theorem Proving,

Non-classical Logics and Non-monotonic Reasoning,

Labelled Deductive Systems, Fibring Logics, Logical Modelling of Natural Language, Argumentation Networks, Talmudic Logic