Аннотация:
Мы рассматриваем равномерное распределение на всех шкалах Крипке на $n$ точках. Формула асимптотически почти достоверна в хорновом классе $\mathcal{F}$, если вероятность ее общезначимости в $\mathcal{F}$-замыкании случайной шкалы на $n$ точках стремится к $1$ при $n\to\infty$. Асимптотически почти достоверные формулы образуют нормальную модальную логику. Мы доказываем, что для псевдотранзитивных и псевдоевклидовых замыканий эта логика равна $\mathrm{S}5$ и выполняется закон нуля и единицы.
Ключевые слова:
модальная логика, асимптотические вероятности, закон нуля и единицы, хорновы предложения, псевдотранзитивные отношения.
УДК:510.643
Статья представлена к публикации:Л. Д. Беклемишев Поступило: 30.06.2024 После доработки: 24.08.2024 Принято к публикации: 19.09.2024
