Towards a Proof Theory of the Riesz Modal Logic

Christophe Lucas

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

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