A modal analog for Glivenko's theorem and its applications

DOI10.1305/ndjfl/1093636103zbMath0788.03020OpenAlexW2035563628MaRDI QIDQ1203789

Vladimir Vladimirovich Rybakov

Publication date: 22 February 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636103

zbMATH Keywords

modal logicfinite model propertyHeyting propositional calculus\(NP\)-formulasmodal analog of Glivenko's theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Completeness and decidability of tense logics closely related to logics above K4, Canonical formulas for K4. Part III: the finite model property, On Finite Model Property for Admissible Rules, From Intuitionism to Brouwer's Modal Logic