Logical models are defined by satisfaction relations between sentences and set-theoretic structures,...