Proof theory for dynamic logics

Carte non disponible

Date(s) - 10/02/2014
14 h 00 min - 15 h 00 min


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.“> Greco

Posts created 14

Articles similaires

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange