Logic and Modeling 2021: Lecture 12

Video 3: different kinds of relations

Video 4: reflexive frames

Video 5: correspondences and transitive frames