A note on some explicit modal logics - Pacuit, Eric (Inst. for Logic, Language and Computation, 2006)