Normal Modal Logics Determined by Aligned Clusters

Normal Modal Logics Determined by Aligned Clusters

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Studia logica 2017-02, Vol.105 (1), p.1-11
Hauptverfasser: Kostrzycka, Zofia, Miyazaki, Yutaka
Format: Artikel
Sprache:eng
Schlagworte:
Computational Linguistics
Education
Logic
Mathematical Logic and Foundations
Philosophy
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-016-9679-7