Dmitry P. Skvortsov

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
1 We consider the semantics of predicate Kripke frames with equality (called I-frames, for short), which is equivalent to the semantics of Kripke sheaves (see [3]). Namely, a (predicate) Kripke frame is a pairM = (W,U) formed by a posetW with the least element 0W and a domain map U defined on W such that U(u)⊆U(v) for u≤v. An I-frame is a triple M = (W,U,(More)
  • 1