DOI10.1134/S1064562408060318zbMath1269.03026MaRDI QIDQ542292
V. I. Khomich
Publication date: 8 June 2011 Published in: Doklady Mathematics (Search for Journal in Brave)
zbMATH Keywords
modal propositional logics; normal extensions of S4; simple substitution property; superintuitionistic propositional logics
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03B55: Intermediate logics
Cites Work