[finite-model-theory] Axiomatization of Some Basic and Modal Boolean Connexive Logics