Почти достоверная модальная логика шкал Крипке с функциональным отношением
Автор: Слюсарев В.В.
Журнал: Труды Московского физико-технического института @trudy-mipt
Рубрика: Математика
Статья в выпуске: 3 (63) т.16, 2024 года.
Бесплатный доступ
Рассматривается случайная отмеченная шкала Крипке с равномерным распределением на множестве шкал модальной логики SL на фиксированном множестве точек размера n. Почти достоверной логикой SLas называется множество всех формул, которые общезначимы в случайной SL-шкаде размера те с вероятностью, стремящейся к единице при n to infinity. Докрывается, что SLas = SL.
Модальная логика, семантика крипке, асимптотические вероятности, случайные графы, почти достоверные логики, разбиения множеств
Короткий адрес: https://sciup.org/142243259
IDR: 142243259
Список литературы Почти достоверная модальная логика шкал Крипке с функциональным отношением
- Глебский Ю.В., Коган Д.И., Легонький М.И., Таланов В.А. Область и степень реализуемости формул ограниченного исчисления предикатов // Кибернетика. 1969. Т. 5. С. 142-154.
- Fagin R. Probabilities on finite models // Journal of Symbolic Logic. 1976. V. 41, N 1. P. 50-58.
- Halpern J.Y., Kapron B. Zero-One Laws for Modal Logic // Annals of Pure and Applied Logic. 1994. V. 69, N 2-3. P. 157-193.
- Le Bars J.-M. The 0-1 law fails for frame satisfiability of propositional modal logic // Proceedings 17th Annual IEEE Symposium on Logic in Computer Science. 2002. 02. P. 225-234.
- Goranko V., Kapron B. The Modal Logic of the Countable Random Frame // Archive for Mathematical Logic. 2003. V. 42, N 3. P. 221-243.
- Goranko V. The Modal Logic of Almost Sure Frame Validities in the Finite // Advances in Modal Logic. 2020.
- Verbrugge R. Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames // 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. IEEE Xplore. 2021. 06. Proceedings - Symposium on Logic in Computer Science.
- Segerberg Krister. On the Logic of «To-morrow» // Theoria. 1967. V. 33, N 1. P. 45-52.
- Chagrov A.V., Zakharvaschev M. Modal Logic. Oxford University Press, 1997. Oxford logic guides, V. 35.
- Goranko Valentin, Otto Martino. Model Theory of Modal Logic // Studies in Logic and Practical Reasoning. 2007. 12. V. 3. P. 249-329.
- de Bruijn N.G. Asymptotic Methods in Analysis // Bibliotheca Mathematica. North-Holland Publishing Co., 1958.
- Miksa F.L., Moser L., Wyman M. Restricted Partitions of Finite Sets // Canadian Mathematical Bulletin. 1958. V. 1, N 2. P. 87-96.
- Renyi A., Szekeres G. On the height of trees // Journal of The Australian Mathematical Society. 1967. V. 7. P. 497-507.
Статья научная
