Mechanised uniform interpolation for modal logics K, GL, and iSL

zbMatharXiv:2402.10494MaRDI QIDQ6522072

Iris van der Giessen, Hugo Férée, Samuel J. van Gool, Ian Shillito

Publication date: 1 January 1

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Mechanised uniform interpolation for modal logics K, GL, and iSL