Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Paraconsistency and Team Semantics

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Pietro Galliani
Date
Le mardi 18 mars 2014 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
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.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents