Completeness Theorems for Modal Logic in Second-Order Arithmetic.

Sho Shimomichi, Yuto Takeda, Keita Yokoyama

Browse the full CiE paper archive.