Toward Model-Theoretic Modal Logics