Logic and Modeling 2021: Lecture 12

Video 4: reflexive frames

Video 5: correspondences and transitive frames