Logic and Modeling 2021
: Lecture 12
Video 1: changing labeling functions
Video 2: frames and characterizing properties
Video 3: different kinds of relations