Publication:3574468
From MaRDI portal
zbMath1203.03036MaRDI QIDQ3574468
Publication date: 9 July 2010
Related Items
Games for Inclusion Logic and Fixed-Point Logic, Supervenience, Dependence, Disjunction, Model-checking games for logics of imperfect information, Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information, On the formal semantics of IF-like logics, IF modal logic and classical negation, Generalized quantifiers in dependence logic