ML-1992-02: Dmitrij P. Skvortsov, Valentin B. Shehtman Maximal Kripke-type Semantics for Modal and Superintuitionistic Predicate Logics 1.Full Text. < Back
