Pages that link to "Item:Q5145283"
From MaRDI portal
The following pages link to A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow (Q5145283):
Displaying 6 items.
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Compositional model checking for multi-properties (Q2234059) (← links)
- A dynamic hybrid logic for followership (Q2291257) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Constructive Game Logic (Q5041088) (← links)