Christophe Lucas – Towards a Proof Theory of the Riesz Modal Logic

Carte non disponible
Speaker Home page :
Speaker :
Speaker Affiliation :

()

Date/heure
Date(s) - 17/01/2019
11 h 00 min - 12 h 30 min

Catégories


It has recently been shown that two Riesz-modal-logic formulas are semantically equivalent if and only if they are equivalent when interpreted in all « modal Riesz spaces ». In this talk we will introduce a hyper-sequent calculus for the theory of « modal lattice-ordered 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 modal Riesz spaces.


Retour en haut 

Secured By miniOrange