Lawrence Moss

URI: https://gptkb.org/entity/Lawrence_Moss
GPTKB entity
Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_California,_Berkeley
gptkbp:doctoralAdvisor gptkb:Jon_Barwise
gptkbp:employer gptkb:Indiana_University
gptkbp:field gptkb:logic
gptkb:set_theory
computer science
coalgebra
https://www.w3.org/2000/01/rdf-schema#label Lawrence Moss
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:Moss's_coalgebraic_logic
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:bfsParent gptkb:Jon_Barwise
gptkbp:bfsLayer 6