Temporal team semantics revisited

DOI10.1145/3531130.3533360MaRDI QIDQ6649479zbMATH OpenFDO

Authors Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema

Publication date 6 December 2024

Full work available at URL https://doi.org/10.1145/3531130.3533360

zbMATH Keywords

asynchronicityautomata theoryhyperpropertiesmodel checkingteam semanticstemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Set semantics for asynchronous TeamLTL: expressivity and complexity
• On the complexity of linear temporal logic with team semantics
• On the expressive power of TeamLTL and first-order team logic over hyperproperties
• A temporal logic for asynchronous hyperproperties

Cites work

• A really temporal logic
• A temporal logic for asynchronous hyperproperties
• Algorithms for model checking HyperLTL and HyperCTL^*
• Approximation and dependence via multiteam semantics
• Dependence Logic
• Dependence logic. A new approach to independence friendly logic
• Descriptive complexity of real computation and probabilistic independence logic
• scientific article; zbMATH DE number 1061261 (Why is no real title available?)
• scientific article; zbMATH DE number 1086489 (Why is no real title available?)
• scientific article; zbMATH DE number 7730626 (Why is no real title available?)
• Logics with multiteam semantics
• Model checking
• On the complexity of linear temporal logic with team semantics
• On the expressive power of TeamLTL and first-order team logic over hyperproperties
• Propositional Dynamic Logic for Hyperproperties
• Runtime enforcement of hyperproperties
• Team semantics for the specification and verification of hyperproperties
• Temporal logic and fair discrete systems
• Temporal logics in computer science. Finite-state systems
• The complexity of finding Nash equilibria
• The first-order logic of hyperproperties
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Unifying hyper and epistemic temporal logics

Cited in

(10)

• On the expressive power of TeamLTL and first-order team logic over hyperproperties
• Set semantics for asynchronous TeamLTL: expressivity and complexity
• The complexity of second-order HyperLTL
• Expressivity landscape for logics with probabilistic interventionist counterfactuals
• Set semantics for asynchronous TeamLTL: expressivity and complexity
• The complexity of second-order HyperLTL
• Unifying asynchronous logics for hyperproperties
• Expressivity of asynchronous TeamLTL and HyperLTL
• Inquisitive team semantics of LTL
• Extensions of HyperLTL for asynchronous hyperproperties

This page was built for publication: Temporal team semantics revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649479)