On the semantics of strategy logic

DOI10.1016/J.IPL.2015.10.004MaRDI QIDQ894440zbMATH OpenOpenAlexFDO

Authors Patricia Bouyer, Patrick Gardy, Nicolas Markey

Publication date 1 December 2015

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2015.10.004

zbMATH Keywords

multi-agent systemsformal methodsstrategic reasoningtemporal logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• Strategy Logic
• Strategy logic
• Dependences in strategy logic
• Dependences in strategy logic
• On the boundary of behavioral strategies

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• ATL with strategy contexts: expressiveness and model checking
• Alternating-time temporal logic
• Augmenting ATL with strategy contexts
• Quantified CTL: expressiveness and model checking (extended abstract)
• Reasoning about strategies
• Reasoning about strategies: on the model-checking problem
• Strategy Logic
• Strategy logic

Cited in

(8)

• Weighted Strategy Logic with Boolean Goals Over One-Counter Games.
• Dependences in strategy logic
• Verification of multi-agent systems with public actions against strategy logic
• Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism
• Dependences in strategy logic
• A calculus of tactics and its operational semantics
• scientific article; zbMATH DE number 7594119 (Why is no real title available?)
• Taming strategy logic: non-recurrent fragments

Describes a project that uses

Uses Software

• CESAR

This page was built for publication: On the semantics of strategy logic

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