Team logic

MaRDI QIDQ3574474zbMATH OpenFDO

Authors Jouko Väänänen

Publication date 9 July 2010

zbMATH Keywords

game-theoretic characterizationindependence-friendly logiclogic of functional dependenciessecond-order logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Team Logic and Second-Order Logic
• Team logic and second-order logic
• Team building in dependence
• Propositional team logics
• Dependence logic. A new approach to independence friendly logic

Cited in

(16)

• An \(n\)-player semantic game for an \(n+1\)-valued logic
• Epistemic operators in dependence logic
• Safe dependency atoms and possibility operators in team semantics
• Doubly strongly first order dependencies
• Team building in dependence
• Dynamic logics of imperfect information: from teams and games to transitions
• scientific article; zbMATH DE number 7447734 (Why is no real title available?)
• scientific article; zbMATH DE number 1940464 (Why is no real title available?)
• Characterizing downwards closed, strongly first-order, relativizable dependencies
• Expressivity and Complexity of Dependence Logic
• Supervenience, dependence, disjunction
• Independence logic and abstract independence relations
• Team logic and second-order logic
• Team Logic and Second-Order Logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Doubly strongly first-order dependencies

This page was built for publication: Team logic

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