Normal Modal Logics Determined by Aligned Clusters

作者：Kostrzycka Zofia^*; Miyazaki Yutaka

来源：Studia Logica, 2017, 105(1): 1-11.

DOI：10.1007/s11225-016-9679-7

• Brouwer modal logic
• Kripke frames
• Characteristic formulas
• Normal extensions

We consider the family of logics from NExt(KTB) which are determined by linear frames with reflexive and symmetric relation of accessibility. The condition of linearity in such frames was first defined in the paper [9]. We prove that the cardinality of the logics under consideration is uncountably infinite.

• 出版日期2017-2