Dov Gabbay

The face

The background

Nationality:

Israeli

Schools:

Non-classical Logics

Branchs:

Computer Science, Mathematics, Philosophy, Logic, Artificial Intelligence, Temporal logics, Non-monotonic reasoning, Fibring logics, Labelled deductive systems, Formal verification, Expert systems, Logic Programming, Deontic logic, Normative Systems, Language, Computation

Period:

20th-century

The synopsis