Logic and Modeling 2021: Lecture 12

Video 1: changing labeling functions

Video 2: frames and characterizing properties

Video 3: different kinds of relations

Video 4: reflexive frames

Video 5: correspondences and transitive frames