Alternating (in)dependence-friendly logic
From MaRDI portal
Publication:6076360
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
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