Hereditarily finitely axiomatizable extensions of logic S4
From MaRDI portal
Publication:1239153
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
superintuitionistic logicstabular logicmodal logic S4hereditarily finitely axiomatizablelattice of modal logicspre-tabular logicTarski translation
Related Items
Differential identities of prime rings, Modal companions of intermediate propositional logics, On the Blok-Esakia Theorem
Cites Work