Set semantics for asynchronous TeamLTL: expressivity and complexity
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3651705 (Why is no real title available?)
- scientific article; zbMATH DE number 1122463 (Why is no real title available?)
- scientific article; zbMATH DE number 6399909 (Why is no real title available?)
- scientific article; zbMATH DE number 7799630 (Why is no real title available?)
- A remark on the expressivity of asynchronous TeamLTL and HyperLTL
- A temporal logic for asynchronous hyperproperties
- Axiomatizations of team logics
- Complexity of propositional logics in team semantic
- Complexity of validity for propositional dependence logics
- Dependence logic. A new approach to independence friendly logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Model checking and validity in propositional and modal inclusion logics
- On the complexity of linear temporal logic with team semantics
- On the complexity of team logic and its two-variable fragment
- On the expressive power of TeamLTL and first-order team logic over hyperproperties
- Synthesis from hyperproperties
- Team semantics for the specification and verification of hyperproperties
- Temporal logic and fair discrete systems
- Temporal team semantics revisited
- The complexity of propositional linear temporal logics
- The hierarchy of hyperlogics
This page was built for publication: Set semantics for asynchronous TeamLTL: expressivity and complexity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6982302)
