Mathematics
and Interactions
-
Videos linked to Logic in Computer ScienceMore +
![On expansions of monadic second-order logic with power predicates - Lecture 3]()
01:04:54published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 3
By Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 2]()
59:18published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 2
By Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 1]()
53:11published on October 13, 2025On expansions of monadic second-order logic with power predicates - Lecture 1
By Joël Ouaknine
