Monadic Second-Order Logic in HOL : Deep and Shallow with Automated Faithfulness (Extended Preprint)

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Kirchner, DanielDanielKirchner0000-0001-9229-11482026-09-102026-09-102026https://fis.uni-bamberg.de/handle/uniba/117134engMonadic Second-Order Logic in HOL : Deep and Shallow with Automated Faithfulness (Extended Preprint)preprint10.48550/arxiv.2609.073452609.07345