A double team semantics for generalized quantifiers (Q302243): Difference between revisions

@@ Property / DOI @@
-.1007/s10849-015-9217-4
@@ Property / DOI: 10.1007/s10849-015-9217-4 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B60
@@ Property / Mathematics Subject Classification ID: 03B60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C80
@@ Property / Mathematics Subject Classification ID: 03C80 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D15
@@ Property / Mathematics Subject Classification ID: 03D15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6600750
@@ Property / zbMATH DE Number: 6600750 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+team semantics
@@ Property / zbMATH Keywords: team semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dependence logic
@@ Property / zbMATH Keywords: dependence logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generalized quantifiers
@@ Property / zbMATH Keywords: generalized quantifiers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+game-theoretic semantics
@@ Property / zbMATH Keywords: game-theoretic semantics / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q38402572
@@ Property / Wikidata QID: Q38402572 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1983126204
@@ Property / OpenAlex ID: W1983126204 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3032
@@ Property / arXiv ID: 1310.3032 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Two-Variable Logic on Finite Trees
@@ Property / cites work: Complexity of Two-Variable Logic on Finite Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958518
@@ Property / cites work: Q2958518 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Variable Logic with Counting and Trees
@@ Property / cites work: Two-Variable Logic with Counting and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers in dependence logic
@@ Property / cites work: Generalized quantifiers in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing quantifier extensions of dependence logic
+Normal rank
@@ Property / cites work @@
+Dependence Logic with Generalized Quantifiers: Axiomatizations
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+Hierarchies in independence logic
@@ Property / cites work: Hierarchies in independence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958528
@@ Property / cites work: Q2958528 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking games for logics of imperfect information
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732440
@@ Property / cites work: Q4732440 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Two-Variable Universal Logic with Transitive Closure
+Normal rank
@@ Property / cites work @@
+Two-Variable First-Order Logic with Equivalence Closure
+Normal rank
@@ Property / cites work @@
+Complexity of two-variable dependence logic and IF-logic
+Normal rank
@@ Property / cites work @@
+A double team semantics for generalized quantifiers
+Normal rank
@@ Property / cites work @@
+Q3113046
@@ Property / cites work: Q3113046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077957
@@ Property / cites work: Q3077957 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Variable Logic on 2-Dimensional Structures.
@@ Property / cites work: Two-Variable Logic on 2-Dimensional Structures. / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of the two-variable fragment with counting quantifiers
+Normal rank
@@ Property / cites work @@
+Q2957894
@@ Property / cites work: Q2957894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jolli/Kuusisto15
@@ Property / DBLP publication ID: journals/jolli/Kuusisto15 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10849-015-9217-4
@@ Property / DOI: 10.1007/S10849-015-9217-4 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:302243