Pages that link to "Item:Q2506828"
From MaRDI portal
The following pages link to Model checking hybrid logics (with an application to semistructured data) (Q2506828):
Displaying 24 items.
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- Model checking memoryful linear-time logics over one-counter automata (Q974117) (← links)
- Polyadic dynamic logics for HPSG parsing (Q1016030) (← links)
- Complexity and succinctness issues for linear-time hybrid logics (Q1044839) (← links)
- Model checking for hybrid logic (Q1047796) (← links)
- The complexity of hybrid logics over equivalence relations (Q1047797) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- Applying model-checking to solve queries on semistructured data (Q1749228) (← links)
- Model-checking based data retrieval. An application to semistructured and temporal data. (Q1880661) (← links)
- Model checking for hybrid branching-time logics (Q2291813) (← links)
- The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← links)
- On finite-state approximants for probabilistic computation tree logic (Q2576951) (← links)
- Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking (Q2863864) (← links)
- Hybrid and First-Order Complete Extensions of CaRet (Q3010360) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Complexity and Succinctness Issues for Linear-Time Hybrid Logics (Q3532457) (← links)
- A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER (Q3577744) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)
- A first step towardsmodeling semistructured data in hybrid multimodal logic (Q3647216) (← links)
- A Logical Approach to Hamiltonian Graphs (Q5178965) (← links)
- Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354) (← links)
- Visibility and exploitation in social networks (Q6646009) (← links)
