Yde Venema

URI: https://gptkb.org/entity/Yde_Venema
GPTKB entity
Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:birthYear 1962
gptkbp:doctoralAdvisor gptkb:Dick_de_Jongh
gptkbp:employer gptkb:University_of_Amsterdam
gptkbp:field gptkb:logic
algebraic logic
https://www.w3.org/2000/01/rdf-schema#label Yde Venema
gptkbp:nationality Dutch
gptkbp:notableWork gptkb:Algebraic_Methods_in_Modal_Logic
gptkb:logic
gptkbp:occupation gptkb:mathematician
gptkbp:position gptkb:professor
gptkbp:bfsParent gptkb:Johan_van_Benthem
gptkb:Hybrid_logic
gptkbp:bfsLayer 5