Pages that link to "Item:Q2303586"
From MaRDI portal
The following pages link to Hennessy-Milner properties for (modal) bi-intuitionistic logic (Q2303586):
Displaying 4 items.
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions (Q4644508) (← links)
- Apartness and distinguishing formulas in Hennessy-Milner logic (Q6163888) (← links)
