Formulas of one variable in KR

Abstract

This note corrects an error in an earlier paper (Urquhart 2023)
claiming that the algebra of three-variable formulas in the logic KR is finite.
Here we show that the algebra of one-variable formulas in this logic is infinite.