Completeness theorems for modal logic in second-order arithmetic

DOI10.1007/978-3-031-95908-0_32MaRDI QIDQ6897631zbMATH OpenFDO

Authors Sho Shimomichi, Yuto Takeda, Keita Yokoyama

Publication date 19 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-95908-0_32

zbMATH Keywords

completeness theoremsmodal logicreverse mathematicssecond-order arithmetic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Finite models constructed from canonical formulas
• Modal logic
• Reverse mathematics and completeness theorems for intuitionistic logic
• Subsystems of second order arithmetic

This page was built for publication: Completeness theorems for modal logic in second-order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6897631)