Completeness theorems for modal logic in second-order arithmetic

Sho Shimomichi, Yuto Takeda, Keita Yokoyama

This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theore…