On the simple substitution property for superintuitionistic and modal propositional logics
From MaRDI portal
Publication:542292
DOI10.1134/S1064562408060318zbMath1269.03026MaRDI QIDQ542292
Publication date: 8 June 2011
Published in: Doklady Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s1064562408060318
modal propositional logics; normal extensions of S4; simple substitution property; superintuitionistic propositional logics
Cites Work