GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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