Towards a Proof Theory of the Riesz Modal Logic
Christophe Lucas
LIP, ENS Lyon
https://www.theses.fr/s236276
Date(s) : 17/01/2019 iCal
11h00 - 12h30
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.
Catégories
