Dmitrij P. Skvortsov. A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic. In Lev D. Beklemishev, Valentin Goranko, Valentin Shehtman, editors, Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010. pages 392-410, College Publications, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.