Alternating (in)dependence-friendly logic

DOI10.1016/j.apal.2023.103315arXiv2304.11652MaRDI QIDQ6076360

Dylan Bellier, Massimo Benerecetti, Fabio Mogavero, Dario Della Monica

Publication date: 21 September 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

independence-friendly logic; compositional semantics; game-theoretic semantics

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

03B70: Logic in computer science

91A28: Signaling and communication in game theory

03C80: Logic with extra quantifiers and operators

03C90: Nonclassical models (Boolean-valued, sheaf, etc.)