Arithmetical completeness theorems for monotonic modal logics

Haruka Kogure, Taishi Kurahashi

We investigate modal logical aspects of provability predicates ${\mathrm{Pr}}_T(x)$ satisfying the following condition: $\mathbf{M}$: If $T⊢\phi \to \psi$, then $T \vdash \mathrm{Pr}…