On the predicate logics of finite Kripke
โ
D. Skvortsov
๐
Article
๐
1995
๐
Springer Netherlands
๐
English
โ 544 KB