- PII
- 10.31857/S2686954324050115-1
- DOI
- 10.31857/S2686954324050115
- Publication type
- Article
- Status
- Published
- Authors
- Volume/ Edition
- Volume 519 / Issue number 1
- Pages
- 57-64
- Abstract
- In this paper we develop a method to study Horn classes of Kripke frames from a probabilistic perspective. We consider the uniform distribution on the set of all
- Keywords
- модальная логика асимптотические вероятности закон нуля и единицы хорновы предложения псевдотранзитивные отношения
- Date of publication
- 15.04.2024
- Year of publication
- 2024
- Number of purchasers
- 0
- Views
- 35
References
- 1. Глебский Ю. В., Коган Д. И., Легонький М. И., Таланов В. А. Область и степень реализуемости формул ограниченного исчисления предикатов. Кибернетика, 5:142–154, 1969.
- 2. Fagin Ronald Probabilities on finite models. Journal of Symbolic Logic, 41(1):50–58, 1976.
- 3. Halpern Joseph Y., Kapron Bruce Zero-one laws for modal logic. Annals of Pure and Applied Logic, 69(2):157–193, 1994.
- 4. Le Bars Jean-Marie. The 0-1 law fails for frame satisfiability of propositional modal logic. Proceedings — Symposium on Logic in Computer Science, pages 225–234, 02 2002.
- 5. Verbrugge Rineke. Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Proceedings Symposium on Logic in Computer Science. IEEE Xplore, June 2021.
- 6. Halpern Joseph Y., Kapron Bruce. Erratum to “zeroone laws for modal logic”. Annals of Pure and Applied Logic APAL, 121:281–283, 06 2003.
- 7. Le Bars Jean-Marie. The 0-1 law fails for frame satisfiability of propositional modal logic. Proceedings Symposium on Logic in Computer Science, pages 225 – 234, 02 2002.
- 8. Le Bars Jean-Marie. Counterexamples of the 0-1 law for fragments of existential second-order logic: An overview. Bulletin of Symbolic Logic, 6, 03 2000.
- 9. Popova Svetlana, Zhukovskii Maksim. Existential monadic second order logic of undirected graphs: a disproof of the Le Bars conjecture. Annals of Pure and Applied Logic, 170:505–514, 2019.
- 10. Gaifman Haim. Concerning measures in first order calculi. Israel Journal of Mathematics, 2:1–18, 1964.
- 11. Goranko Valentin, Kapron Bruce. The modal logic of the countable random frame. Archive for Mathematical Logic, 42, 10 2001.
- 12. Goranko Valentin. The modal logic of almost sure frame validities in the finite. In AiML, 2020.
- 13. Ebbinghaus Heinz-Dieter, Flum Jörg. Finite Model Theory. Perspectives in Mathematical Logic. Springer Berlin Heidelberg, 1999.
- 14. Blackburn Patrick, de Rijke Maarten, Venema Yde. Modal logic. Studia Logica, 76(1):142–148, 2001.
