Christophe Lucas, Matteo Mio: Free Modal Riesz Spaces are Archimedean: A Syntactic Proof. RAMiCS 2021: 275-291