Date(s) : 17/01/2019
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.