Fixed-points and fixed-point logic
Fixed-point logic - Wikipedia
Fixed-Point Theorems in Analysis, Logic, and Computer Science - YouTube
Symmetric Circuits and Fixed-Point Logics - YouTube
Using modal fixed points to formalize logical causality