collaborators

1 paper

math.LO2025

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…