A Splitting Logic in NExt

Studia Logica 85 (3):381-394 (2007)
  Copy   BIBTEX

Abstract

It is shown that the normal modal logic of two reflexive points jointed with a symmetric binary relation splits the lattice of normal extensions of the logic KTB. By this fact, it is easily seen that there exists the third largest logic in the class of all normal extensions of KTB.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-007-9039-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

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

Through your library

My notes

Similar books and articles

A splitting logic in NExt(KTB).Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381 - 394.
Kripke Incomplete Logics Containing KTB.Yutaka Miyazaki - 2007 - Studia Logica 85 (3):303-317.
An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.
All Normal Extensions of S5-squared Are Finitely Axiomatizable.Nick Bezhanishvili & Ian Hodkinson - 2004 - Studia Logica 78 (3):443-457.
The greatest extension of s4 into which intuitionistic logic is embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.
Modal Companions of $$K4^{+}$$.Mikhail Svyatlovskiy - 2022 - Studia Logica 110 (5):1327-1347.
Modal Companions of $$K4^{+}$$.Mikhail Svyatlovskiy - 2022 - Studia Logica 110 (5):1327–1347.
The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.
All proper normal extensions of s5-square have the polynomial size model property.Nick Bezhanishvili & Maarten Marx - 2003 - Studia Logica 73 (3):367 - 382.
The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem.Guram Bezhanishvili - 2010 - Annals of Pure and Applied Logic 161 (3):253-267.

Analytics

Added to PP
2016-02-04

Downloads
18 (#859,297)

6 months
8 (#415,703)

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

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
Splitting lattices of logics.Wolfgang Rautenberg - 1980 - Archive for Mathematical Logic 20 (3-4):155-159.

View all 8 references / Add more references