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.)

Cites Work

• A double team semantics for generalized quantifiers
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• Henkin quantifiers and complete problems
• Borel determinacy
• The polynomial-time hierarchy
• Dependence and independence
• Expressivity of imperfect information logics without identity
• Characterizing Second Order Logic with First Order Quantifiers
• Compositional semantics for a language of imperfect information
• Imperfect Information in Logic and Concurrent Games
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Finite Partially‐Ordered Quantifiers
• Finite partially-ordered quantification
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• Good-for-Game QPTL: An Alternating Hodges Semantics
• Team Logic and Second-Order Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item