Gabbay, Dov M., (1945-)

Overview

Works:	1 works in 17 publications in 2 languages

Titles

Handbook of the logic of argument and inference = the turn towards the practical / by: Gabbay, Dov M., (1945-) (Language materials, printed)

The functional interpretation of logical deduction by: Queiroz, Ruy J. G. B. de.; Gabbay, Dov M., (1945-); Oliveira, Anjolina G. de.; World Scientific (Firm) (Language materials, printed)

Non-deductive inferences in the Talmud / by: Schild, Uri J., (1940-); Gabbay, Dov M., (1945-); Abraham, Michael. (Language materials, printed)

Handbook of temporal reasoning in artificial intelligence by: Fisher, Michael, (1962-); Gabbay, Dov M., (1945-); Vila, L. (Language materials, printed)

Sets and extensions in the twentieth century / by: Gabbay, Dov M., (1945-); Woods, John; Kanamori, Akihiro. (Language materials, printed)

The many valued and non-monotonic turn in logic by: Woods, John; Gabbay, Dov M., (1945-) (Language materials, printed)

Handbook of the history of logic / by: Hartmann, Stephan; Gabbay, Dov M., (1945-); Woods, John (Language materials, printed)

Handbook of the history of logic.. Vol. 11,. Logic: a history of its central concepts / by: Gabbay, Dov M., (1945-); Pelletier, Francis Jeffry, (1944-) (Language materials, printed)

Handbook of paraconsistency / by: B�eziau, Jean-Yves.; Gabbay, Dov M., (1945-); Carnielli, Walter A.; World Congress on Paraconsistency (2003 :) (Language materials, printed)

Agenda relevance = a study in formal pragmatics / by: Woods, John; Gabbay, Dov M., (1945-) (Language materials, printed)

Subjects

Modality (Logic) Artificial intelligence. Temporal databases. Abduction (Logic) Computer logic. Nonclassical mathematical logic. Set theory. Reasoning. Quantum logic Many-valued logic. Logic. Logic Nonmonotonic reasoning. Inconsistency (Logic) Logic, Symbolic and mathematical.