We consider a syntax and semantics of modal logics based on parametrized modal
connectives with-satisfaction definitions, we axiomatically introduce different parametrized …