Sho Shimomichi
YOU?
Author Swipe
View article: Completeness theorems for modal logic in second-order arithmetic
Completeness theorems for modal logic in second-order arithmetic Open
This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in $\mathrm{RCA…