This note corrects an error and reveals that one-variable formulas in KR have infinite algebraic structures, suggesting important implications for logic studies.
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.
No takes yet. Share an insight, caveat, or question.
Alasdair Urquhart (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: