Pointed Modal Abelian Logic, Algebraically

Filip Jankovec, Wolfgang Poiger

In this article, we investigate the pointed modal logic of reals. We first establish its relational (Kripke) semantics with bounded valuations in the Abelian l-group of real number…