First-Order Modal Logic in HOL : Deep and Shallow Embeddings with Automated Faithfulness (Extended Preprint)
Benzmüller, Christoph; Kirchner, Daniel (2026): First-Order Modal Logic in HOL : Deep and Shallow Embeddings with Automated Faithfulness (Extended Preprint), in: arXiv, doi: 10.48550/arxiv.2607.10880.
