Good-for-Game QPTL: An Alternating Hodges Semantics
From MaRDI portal
Publication:5875946
DOI10.1145/3565365MaRDI QIDQ5875946
Massimo Benerecetti, Dylan Bellier, Fabio Mogavero, Dario Della Monica
Publication date: 7 February 2023
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2104.06085
realizability; reactive synthesis; strategic reasoning; quantified propositional temporal logic; behavioral quantifications; compositional and game-theoretical semantics; good-for-game logics; satisfiability and model-checking