1 paper · 1 filter
Jim de Groot, Dirk Pattinson
We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to mod…