Pointed Modal Abelian Logic, Algebraically

In this article, we investigate the pointed modal logic of reals.We first establish its relational (Kripke) semantics with bounded valuations in the Abelian ℓ-group of real numbers with the distinguished negative constant -1.To study this logic algebraically, we introduce the variety of negatively pointed modal Abelian ℓ-groups, in particular we focus on the strongly pointed members thereof.Constructing complex algebras and canonical frames, we establish a Truth Lemma connecting the relational and algebraic frameworks.Since finitary axiomatizations cannot fully capture the Kripke validities of the reals we introduce further algebraic constraints, in particular including an infinitary Archimedeanstyle rule.Finally, we prove a corresponding 'infinitary algebraic completeness' result for pointed modal Abelian logic with respect to the variety of pointed modal Abelian ℓ-groups.