An Epistemic Strategy Logic

DOI10.1145/3233769zbMath1407.03020arXiv1409.2193OpenAlexW2963518579WikidataQ130829004 ScholiaQ130829004MaRDI QIDQ4617971

Xiaowei Huang, Ron van der Meyden

Publication date: 7 February 2019

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

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

zbMATH Keywords

computational complexityepistemic logicstrategy logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (3)

Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Dependences in strategy logic ⋮ Verification of multi-agent systems with public actions against strategy logic

This page was built for publication: An Epistemic Strategy Logic