@inproceedings{654883db64204a7498d2092b1cbf2e47,
title = "Normal extensions of KTB of codimension 3",
abstract = "It is known that in the lattice of normal extensions of the logic KTB there are unique logics of codimensions 1 and 2, namely, the logic of a single reexive point, and the logic of the total relation on two points. A natural question arises about the cardinality of the set of normal extensions of KTB of codimension 3. Generalising two finite examples found by a computer search, we construct an uncountable family of (countable) graphs, and prove that certain frames based on these produce a continuum of normal extensions of KTB of codimension 3. We use algebraic methods, which in this case turn out to be better suited to the task than frame-theoretic ones.",
keywords = "KTB-algebras, Normal extensions, Subvarieties",
author = "James Koussas and Tomasz Kowalski and Yutaka Miyazaki",
note = "Publisher Copyright: {\textcopyright} 2018 College Publications. All rights reserved.; 12th Conference on {"}Advances in Modal Logic{"}, AiML 2018 ; Conference date: 27-08-2018 Through 31-08-2018",
year = "2018",
language = "English",
isbn = "1904987206",
series = "Advances in Modal Logic",
publisher = "College Publications",
pages = "447--458",
editor = "Guram Bezhanishvili and Giovanna D'Agostino and George Metcalfe and Thomas Studer",
booktitle = "12th Conference on {"}Advances in Modal Logic{"}, AiML 2018",
address = "United Kingdom",
}