• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Maximal Kripke-type semantics for modal and superintuitionistic predicate logics.

Annals of Pure and Applied Logic. 1993. Vol. 63. No. 1. P. 69-101.
Shehtman V. B., Skvortsov D.