21 citations · 41 across the 16 of their papers we have counts for
1 paper · 2 filters
Pietro Galliani
Team Semantics generalizes Tarski's Semantics for First Order Logic by allowing formulas to be satisfied or not satisfied by sets of assignments rather than by single assignments.…