Séminaire Logique et Interactions

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.