Text this: The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation.