D. P. Skvortsov

Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics

D. P. Skvortsov, V. B. Shehtman, 1993, Ann. Pure Appl. Log..

On the “quantum-mechanical” nature of ignoring modal temporal reasonings in the analysis of some logical paradoxes

D. P. Skvortsov, 2017, Automatic Documentation and Mathematical Linguistics.

Two curious remarks on quasi-mathematical topics

D. P. Skvortsov, 2009, Automatic Documentation and Mathematical Linguistics.