On Kuroda Formula

We give some characterizations of the class of intuitionistic predicate Kripke frames validating the Kuroda formula. We, first, prove that the Kuroda formula does not define a class of frames definable by a classical first-order sentence and, second, establish a criterion for countable frames to validate this formula.

Authors

• Valentin Shehtman
• Dmitry Shkatov
• Dmitrij Skvortsov

Keywords

No keywords are indexed for this paper.