Mechanised uniform interpolation for modal logics K, GL and iSL (2024)
Attributed to:
Structure vs. Invariants in Proofs (StrIP)
funded by
FLF
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://doi.org/10.48550/arXiv.2402.10494
Type: Technical Report
Volume: abs/2402.10494