Author name cluster

Valentin Shehtman

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

FLAP Journal 2025 Journal Article

On Kuroda Formula

Valentin Shehtman
Dmitry Shkatov
Dmitrij Skvortsov

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

PDF Details