@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",

}