Weighted Strategy Logic with Boolean Goals Over One-Counter Games.

DOI10.4230/LIPICS.FSTTCS.2015.69MaRDI QIDQ5278311zbMATH OpenOpenAlexFDO

Authors Patricia Bouyer, Patrick Gardy, Nicolas Markey

Publication date 13 July 2017

Full work available at URL http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2015.69

zbMATH Keywords

multi-player gamesquantitative gamesstrategy logictemporal logics

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) (n)-person games, (n>2) (91A06)

Recommendations

• Representing strategic games and their equilibria in many-valued logics
• Behavioural strategies in weighted Boolean games
• Boolean games with epistemic goals
• Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information
• Publication:4945230
• Strategies in games: a perspective from logic and computation
• Logics for Reasoning About Strategic Abilities in Multi-player Games
• On the semantics of strategy logic
• Quantifying Bounds in Strategy Logic
• Strategies in games: a logic-automata study

Cited in

(6)

• Dependences in strategy logic
• Dependences in strategy logic
• Quantifying Bounds in Strategy Logic
• Taming strategy logic: non-recurrent fragments
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Plan logic

This page was built for publication: Weighted Strategy Logic with Boolean Goals Over One-Counter Games.

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