Arithmetical completeness for some extensions of the pure logic of necessitation

Haruka Kogure

We investigate the arithmetical completeness theorems of some extensions of Fitting, Marek, and Truszczyński's pure logic of necessitation $\mathbf{N}$. For $m,n\in \omega$, let $\math…