Publication:3880811
From MaRDI portal
zbMath0439.03008MaRDI QIDQ3880811
Valentin Shehtman, Dimitrij Skvortsov, Larisa L. Maksimova
Publication date: 1979
Related Items
An Application of the Yankov Characteristic Formulas, A dichotomy for some elementarily generated modal logics, On the modal logic of subset and superset: tense logic over Medvedev frames, Inquisitive logic, Intermediate logics and the de Jongh property, On maximal intermediate logics with the disjunction property, A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice, On representation of finite pseudo-Boolean algebras and one of its applications, The modal logic of Bayesian belief revision, Finite problems and the logic of the weak law of excluded middle, On maximal intermediate predicate constructive logics