LSV Seminar

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.

Past Seminars

Paraconsistency and Team Semantics

 Pietro Galliani
Tuesday, March 18 2014 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
Pietro Galliani (Clausthal University of Technology)

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.

About LSV