Lovász Theorems for Modal Languages

Jesse Comer

A famous result due to Lovász states that two finite relational structures $M$ and $N$ are isomorphic if, and only if, for all finite relational structures $T$, the number of homom…