Area > Logic

Videos linked to Logic

01:25:59

published on November 21, 2022

Topological semantics for modal logic (1/4)

By Zoghifard Reihane

01:24:39

published on November 21, 2022

Topological semantics for modal logic (2/4)

By Zoghifard Reihane

01:45:15

published on November 21, 2022

Topological semantics for modal logic (3/4)

By Zoghifard Reihane

01:42:41

published on November 21, 2022

Topological semantics for modal logic (4/4)

By Zoghifard Reihane

51:58

published on September 20, 2022

Theory of computation

By Stephen Smale

01:40:57

published on March 14, 2022

On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes

By Emily Riehl

01:22:58

published on March 14, 2022

Daily applications of the univalence axiom: lecture 3

By Egbert Rijke

01:21:55

published on March 14, 2022

On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations

By Emily Riehl

More +

Copyright Carmin.tv 2022

Give feedback