2 citations · 2 across the 1 of their papers we have counts for
1 paper · 2 filters
Erich Grädel, Richard Wilke
Team semantics is the mathematical basis of modern logics of dependence and independence. In contrast to classical Tarski semantics, a formula is evaluated not for a single assignm…