Alternating (in)dependence-friendly logic

DOI10.1016/j.apal.2023.103315arXiv2304.11652OpenAlexW4384945307MaRDI 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 logiccompositional semanticsgame-theoretic semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Signaling and communication in game theory (91A28) Logic with extra quantifiers and operators (03C80) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

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

This page was built for publication: Alternating (in)dependence-friendly logic