A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dmitrij P. Skvortsov' in Google

runs on WebDSL