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.
Alasdair Urquhart (Thu,) studied this question.