On the semantics of strategy logic

DOI10.1016/J.IPL.2015.10.004zbMATH Open1346.68121OpenAlexW2207775294MaRDI QIDQ894440FDOQ894440

Patricia Bouyer, Nicolas Markey, Patrick Gardy

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

Recommendations

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

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)

Cites Work

• Alternating-time temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about strategies
• Reasoning About Strategies
• Strategy Logic
• Title not available (Why is that?)
• Strategy logic
• ATL with strategy contexts: expressiveness and model checking
• Augmenting ATL with strategy contexts
• Quantified CTL: Expressiveness and Model Checking

Cited In (8)

• Dependences in strategy logic
• Title not available (Why is that?)
• Dependences in Strategy Logic
• Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism
• Taming strategy logic: non-recurrent fragments
• Weighted Strategy Logic with Boolean Goals Over One-Counter Games.
• Verification of multi-agent systems with public actions against strategy logic
• A calculus of tactics and its operational semantics

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)