BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:6197@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220113T103000
DTEND;TZID=Europe/Paris:20220113T120000
DTSTAMP:20241120T200933Z
URL:https://www.i2m.univ-amu.fr/evenements/semantique-des-jeux-pour-la-log
 ique-modale-ck/
SUMMARY:Davide Catta (LIRMM\, Montpellier): Sémantique des jeux pour la lo
 gique modale CK
DESCRIPTION:Davide Catta: Les logiques modales constructives sont obtenues 
 en étendant la logique propositionnelle intuitionniste avec certains axio
 mes modaux.\nDe nombreux systèmes de preuve sont connus pour ces logiques
 \, cependant la seule sémantique dénotationnelle disponible est définie
  au moyen d'une construction abstraite\, basée sur le quotient de leurs t
 ermes lambda. Dans cet exposé\, nous présentons une sémantique dénotat
 ionnelle concrète pour la version constructive de la logique modale K (ap
 pelée CK). Notre sémantique est une sémantique des jeux. Nous présento
 ns des stratégies gagnantes qui correspondent aux preuves de CK\, nous mo
 ntrons que nos stratégies gagnantes peuvent être composées\, et que —
 de plus— notre sémantique est pleinement adéquate : chaque stratégie 
 gagnante modale est l'interprétation d'une preuve de CK.\n\nCet exposé e
 st basé sur : Matteo Acclavio\, Davide Catta &amp\; Lutz Straßburger: Ga
 me Semantics for Constructive Modal Logic\, TABLEAUX 2021\, 428-445
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20211031T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR