Formulas of one variable in KR

The Australasian Journal of Logic 2026 Open access

Read full text
Authors: Alasdair Urquhart
DOI: 10.26686/ajl.v23i2.9824
Cited by: 0

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.

Fields of Study & Subjects

Advanced Algebra and Logic Logic Reasoning and Knowledge Advanced Topology and Set Theory

Publication details

Journal / source
The Australasian Journal of Logic
Volume
23
Issue
2
Pages
202–208
Publication date
12 March 2026
Language
EN