Pages that link to "Item:Q2323639"
From MaRDI portal
The following pages link to A propositional dynamic logic for instantial neighborhood semantics (Q2323639):
Displaying 4 items.
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
