Output details
11 - Computer Science and Informatics
University of Edinburgh
Output title
Team building in dependence
Type
E - Conference contribution
Name of conference/published proceedings
Computer Science Logic 2013 (CSL 2013)
Volume number
-
Issue number
-
First page of article
116
ISSN of proceedings
-
Year of publication
2013
Number of additional authors
0
Additional information
<11> Originality: The paper is the first to provide a game semantics for Dependence Logic which preserves the intuition of first-order games, but does not resort to imperfect information.
Significance: The semantics breaks new ground in the search for logics between Dependence Logic, which is tractable enough to be useful, and Team Logic, which is far too powerful to be useful.
Rigour: The semantics and correctness proofs are given in full.
Interdisciplinary
-
Cross-referral requested
-
Research group
F - Laboratory for Foundations of Computer Science
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
