Normal Modal Logics Determined by Aligned Clusters

Studia Logica 105 (1):1-11 (2017)
  Copy   BIBTEX

Abstract

We consider the family of logics from NExt 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.

Analytics

Added to PP
2016-07-23

Downloads
10 (#1,026,208)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
Kripke Incomplete Logics Containing KTB.Yutaka Miyazaki - 2007 - Studia Logica 85 (3):303-317.
Normal Modal Logics Contianing KTB with some Finiteness Conditions.Yutaka Miyazaki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 171-190.
On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.
The extensions of BAlt.David Ullrich & Michael Byrd - 1977 - Journal of Philosophical Logic 6 (1):109 - 117.

View all 7 references / Add more references