Logic and Modeling 2021: Lecture 12

Video 2: frames and characterizing properties

Video 3: different kinds of relations

Video 4: reflexive frames