Pages that link to "Item:Q6044128"
From MaRDI portal
The following pages link to Bisimulation and propositional intuitionistic logic (Q6044128):
Displayed 3 items.
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)