Pattinson, Dirkde Groot, JimLemhoff, RosalieMoortgat, Michaelde Queiroz, Ruy2023-12-07July 2-5,978-3-662-59532-9http://hdl.handle.net/1885/307724We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to modal (dual- and bi-)intuitionistic logics. Our main technical tools are image-compact and pre-image-compact relations that provide a semantical description of modal saturation properties.application/pdfen-AU© 2019 Springer-Verlag GmbH GermanyBi-intuitionistic logicModal logicBisimulationHennessy-Milner property2022-06-0810.1016/j.ic.2021.1047572022-09-04