Pages that link to "Item:Q2446549"
From MaRDI portal
The following pages link to The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549):
Displaying 4 items.
- Expressive completeness through logically tractable models (Q490672) (← links)
- A logic for diffusion in social networks (Q2018607) (← links)
- Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
- Polynomial hierarchy graph properties in hybrid logic (Q2453580) (← links)