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:2675@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20190117T110000
DTEND;TZID=Europe/Paris:20190117T123000
DTSTAMP:20201215T153204Z
URL:https://www.i2m.univ-amu.fr/evenements/towards-a-proof-theory-of-the-r
 iesz-modal-logic/
SUMMARY:Christophe Lucas (LIP\, ENS Lyon): Towards a Proof Theory of the Ri
 esz Modal Logic
DESCRIPTION:Christophe Lucas: It has recently been shown that two Riesz-mod
 al-logic formulas are semantically equivalent if and only if they are equi
 valent when interpreted in all "modal Riesz spaces". In this talk we will 
 introduce a hyper-sequent calculus for the theory of "modal lattice-ordere
 d abelian groups" which builds on previous work fo Metcalfe\, Olivetti and
  Gabbay. It is our hope to eventually extend this work to the theory of mo
 dal Riesz spaces.
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20181028T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR