Concepedia

Dav M. Gabbay

DM

Statistics

Publications

5

Citations

221

H-Index

5

Active since

1990

Affiliations

King's College London(Current)

Bar-Ilan University

University of Luxembourg

Dav M. Gabbay is an author at King's College London specializing in computer science, logic, and humanities.

Publications per year

1990–2012

5

Publications

5

An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers

Dav M. Gabbay, Ian Hodkinson · Journal of Logic and Computation · 1990 · 101 citations

, , +10

Equational approach to argumentation networks

Dav M. Gabbay · Argument & Computation · 2012 · 87 citations · Full text

, , +17

Encoding two valued non-classical logic in classical logic

Dav M. Gabbay, H. J. Ohlbach, Andreas Nonnengart et al. · Research Portal (King's College London) · 2001 · 12 citations

, , +6

Modal and temporal argumentation networks

Howard Barringer, Dav M. Gabbay, John Woods · Argument & Computation · 2012 · 11 citations · Full text

, , +10

Defeasible inheritance systems and reactive diagrams

Dav M. Gabbay, Karl Schlechta · Logic Journal of IGPL · 2008 · 10 citations · Full text

, , +14

1–5 of 5