Game-Theoretic Semantics for Alternating-Time Temporal Logic

DOI10.1145/3179998zbMath1407.03030arXiv1602.07667OpenAlexW2963046298WikidataQ129325278 ScholiaQ129325278MaRDI QIDQ4691736

Antti Kuusisto, Raine Rönnholm, Valentin F. Goranko

Publication date: 24 October 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.07667

zbMATH Keywords

logic and game theoryargumentation-based dialogue and protocolslogics for agents and multiagent systems

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in artificial intelligence (68T27) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (4)

Unnamed Item ⋮ Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking ⋮ Alternating-time temporal logic ATL with finitely bounded semantics ⋮ Bounded game-theoretic semantics for modal mu-calculus

This page was built for publication: Game-Theoretic Semantics for Alternating-Time Temporal Logic