Normal extensions of KTB of codimension 3

MaRDI QIDQ5224580zbMATH OpenFDO

Authors James M. Koussas, Tomasz Kowalski, Yutaka Miyazaki, Michael Stevens

Publication date 24 July 2019

Full work available at URL https://arxiv.org/abs/2110.09014

zbMATH Keywords

subvarietiesnormal extensionsKTB-algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

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 reflexive 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.

Recommendations

• Some normal extensions of K4.3
• Normalization of a certain degenerate ordinary triple point of dimension three
• On normal \(K3\) surfaces
• scientific article; zbMATH DE number 3202625
• scientific article; zbMATH DE number 4062083
• The Normal Closures of Certain Kummer Extensions
• The 3-Dimensionality of Certain Codimension-3 Decompositions
• Codimension two and three Kneser transversals
• On three Klein extension problems and some generalizations
• Kida's Theorem for a Class of Nonnormal Extensions

Cited in

(1)

• Normal modal logics containing KTB with some finiteness conditions

This page was built for publication: Normal extensions of KTB of codimension 3

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224580)