Temporal Constraint Satisfaction Problems in Fixed Point Logic

Whole-channel inclusion: bodirsky (title sample: A university professor's channel of straightforward lecture-style math/logic courses, almost entirely genuine teaching content.; 3 of 3 sampled transcripts read as real teaching); this title passed a strict title check.

A 23-minute video from bodirsky: “Temporal Constraint Satisfaction Problems in Fixed Point Logic”.

Video by bodirsky, played through YouTube's embedded player.