Матем. заметки,
1982, том 32, выпуск 2, страницы 223–228
(Mi mzm6047)
|
Эта публикация цитируется в
2 статьях
Полнота модальных логик предконечной ширины
В. В. Рыбаков
Аннотация:
Доказывается, что все модальные логики предконечной ширины
полны по Крипке. Библ. 7 назв.
УДК:
517.11
Поступило: 27.05.1980
© , 2024
Полный текст:
PDF файл (453 kB)
