Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

Proof theory for dynamic logics

Giuseppe Greco
Delft University of Technology
http://www.appliedlogictudelft.nl/giuseppe-greco/

Date(s) : 10/02/2014   iCal
14h00 - 15h00

We introduce a multi-type display calculus for (intuitionistic) dynamic epistemic logic and (concurrent) propositional dynamic logic, which we refer to as Dynamic Calculi. The display approach is suitable to modularly chart the space of dynamic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculi with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems that enjoy a generalisation of the Curry-Belnap cut-elimination meta-theorem.

Catégories


Secured By miniOrange