Dov Gabbay

URI: https://gptkb.org/entity/Dov_Gabbay

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:affiliation	gptkb:King's_College_London gptkb:Bar-Ilan_University
gptkbp:almaMater	gptkb:Hebrew_University_of_Jerusalem gptkb:Stanford_University
gptkbp:birthYear	1945
gptkbp:doctoralAdvisor	gptkb:P._Suppes
gptkbp:doctoralStudent	gptkb:Aviad_Heifetz
gptkbp:editor	gptkb:Handbook_of_Logic_in_Artificial_Intelligence_and_Logic_Programming gptkb:Handbook_of_Philosophical_Logic gptkb:Handbook_of_Logic_and_Language gptkb:Handbook_of_the_History_of_Logic
https://www.w3.org/2000/01/rdf-schema#label	Dov Gabbay
gptkbp:knownFor	gptkb:logic gptkb:Gabbay's_separation_theorem non-monotonic logic labelled deductive systems
gptkbp:nationality	British
gptkbp:occupation	gptkb:computer_scientist gptkb:logic gptkb:philosopher
gptkbp:bfsParent	gptkb:Arthur_Prior
gptkbp:bfsLayer	5