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:5560@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20140210T140000
DTEND;TZID=Europe/Paris:20140210T150000
DTSTAMP:20241030T161548Z
URL:https://www.i2m.univ-amu.fr/evenements/proof-theory-for-dynamic-logics
 /
SUMMARY:Giuseppe Greco (Delft University of Technology): Proof theory for d
 ynamic logics
DESCRIPTION:Giuseppe Greco: We introduce a multi-type display calculus for 
 (intuitionistic) dynamic epistemic logic and (concurrent) propositional dy
 namic logic\, which we refer to as Dynamic Calculi. The display approach i
 s suitable to modularly chart the space of dynamic logics on weaker-than-c
 lassical propositional base. The presence of types endows the language of 
 the Dynamic Calculi with additional expressivity\, allows for a smooth pro
 of-theoretic treatment\, and paves the way towards a general methodology f
 or the design of proof systems that enjoy a generalisation of the Curry-Be
 lnap cut-elimination meta-theorem.
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Giuseppe_Greco.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20131027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR