Team building in dependence

DOI10.4230/LIPICS.CSL.2013.116MaRDI QIDQ2958518zbMATH OpenFDO

Authors Julian Bradfield

Publication date 2 February 2017

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2013.116

zbMATH Keywords

game semanticsindependence-friendly logicpartially ordered quantification

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Team logic
• Dependence logic. A new approach to independence friendly logic
• Model-checking games for logics of imperfect information
• Team Logic and Second-Order Logic
• Team logic and second-order logic

Cited in

(13)

• Expressing second-order sentences in intuitionistic dependence logic
• Boolean dependence logic and partially-ordered connectives
• A double team semantics for generalized quantifiers
• Dependence logic. A new approach to independence friendly logic
• Team logic
• Model-checking games for logics of imperfect information
• Team-based reconstruction for expanding organisational ability
• SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
• Counting in team semantics
• Team logic and second-order logic
• Team Logic and Second-Order Logic
• Alternating (in)dependence-friendly logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information

This page was built for publication: Team building in dependence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2958518)