Pages that link to "Item:Q2323693"
From MaRDI portal
The following pages link to A new game equivalence, its logic and algebra (Q2323693):
Displaying 4 items.
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- Behavioral equivalence of extensive game structures (Q2173420) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
