The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Team Semantics is a generalization of Tarski's semantics for first-order logic which defines satisfiability with respect to sets of assignments, rather than with respect to single assignments. In recent years, this semantics has emerged as a very general formalism for the study of dependence notions and their relations; and, furthermore, this semantics has lately proved to be of interest for the purposes of belief representation and belief updating. In this talk, I will discuss a simple variation in the definition of team semantics (corresponding, from the perspective of game-theoretic semantics, to reasoning in terms of non-losing strategies rather than winning strategies), and its consequences, and its possible applications.