Hereditarily structurally complete modal logics-Reference-Cited by-同舟云学术

Hereditarily structurally complete modal logics

Published:1995-03 Issue:1 Volume:60 Page:266-288
ISSN:0022-4812
Container-title:Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

Rybakov V. V.

Abstract

AbstractWe consider structural completeness in modal logics. The main result is the necessary and sufficient condition for modal logics over K4 to be hereditarily structurally complete: a modal logic λ is hereditarily structurally complete iff λ is not included in any logic from the list of twenty special tabular logics. Hence there are exactly twenty maximal structurally incomplete modal logics above K4 and they are all tabular.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference26 articles.

1. On the connection of partially ordered sets with some pseudo-Boolean algebras

2. Structural completeness of Medvedev's propositional calculus;Prucnal;Reports on Mathematical Logic,1976

3. Pretabular varieties of modal algebras

4. The Logics Containing S 4.3

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Structural and universal completeness in algebra and logic;Annals of Pure and Applied Logic;2024-03

2. Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality;Studia Logica;2022-11-02

3. Structural Completeness in Many-Valued Logics with Rational Constants;Notre Dame Journal of Formal Logic;2022-08-01

4. Jankov Formulas and Axiomatization Techniques for Intermediate Logics;Outstanding Contributions to Logic;2022

5. Singly generated quasivarieties and residuated structures;Mathematical Logic Quarterly;2020-06-21