The finite frame property of some extensions of the pure logic of necessitation

Taishi Kurahashi, Yuta Sato

We study the finite frame property of some extensions of Fitting, Marek, and Truszczyński's pure logic of necessitation $\mathbf{N}$. For any natural numbers $m,n$, we introduce t…