Hennessy-Milner properties for (modal) bi-intuitionistic logic

DOI10.1007/978-3-662-59533-6_10OpenAlexW2952481855MaRDI QIDQ2303586

Jim de Groot, Dirk Pattinson

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_10

zbMATH Keywords

modal logicbisimulationbi-intuitionistic logicHennessy-Milner property

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (2)

Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Hennessy-Milner properties via topological compactness

This page was built for publication: Hennessy-Milner properties for (modal) bi-intuitionistic logic