H. Mohammadi, “Linear Abelian Modal Logic”, B Sect Log, vol. 53, no. 1, pp. 1–28, Dec. 2023.