Hereditarily finitely axiomatizable extensions of logic S4

DOI10.1007/BF01877236zbMath0358.02022OpenAlexW2036348018MaRDI QIDQ1239153

Vladimir Vladimirovich Rybakov

Publication date: 1977

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/186920

zbMATH Keywords

superintuitionistic logicstabular logicmodal logic S4hereditarily finitely axiomatizablelattice of modal logicspre-tabular logicTarski translation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items

Differential identities of prime rings, Modal companions of intermediate propositional logics, On the Blok-Esakia Theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An incomplete logic containing S4
• Algebraic semantics for modal logics I
• That All Normal Extensions of S4.3 Have the Finite Model Property
• Some relational systems and the associated topological spaces
• The Logics Containing S 4.3