Modal Logic and Model-Theoretic Syntax · Study