The modal logic of the countable random frame

Archive for Mathematical Logic

Volumn 42, Issue 3, 2003, Pages 221-243

  Goranko, Valentin ^a   Kapron, Brace ^b  

^a UNIVERSITY OF JOHANNESBURG   (South Africa)

^b UNIVERSITY OF VICTORIA   (Canada)

Author keywords

Almost sure frame validity; Axiomatization; Completeness; Countable random frame; Modal logic; Random frames

Indexed keywords

EID: 0037863971     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530100135     Document Type: Article

References (30)

1. [le Bars 99a] Le Bars, J.-M.: The 0-1 law fails for monadic existential second-order logic on undirected graphs, Information Processing Letters, to appear
2. [le Bars 99b] Le Bars, J.-M.: Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview, Bulletin of Symbolic Logic, 6, 67-82 (2000)
3. [le Bars 02] Le Bars, J.-M.: The 0-1 law fails for frame satisfiability of prepositional modal logic, Proc. of LICS'02, IEEE Computer Society Press, 2002
4. [van Benthem 85] van Benthem, J.: Modal Logic and Classical Logic, Bibliopolis, Napoli, 1985
5. [Blackburn, de Rijke, and Venema 2001] Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, Cambridge Univ. Press (2001)
6. [Blass, Gurevich and Kozen 85] Blass, A., Gurevich, Y., Kozen, D.: A zero-one law for a logic with a fixed-point operator, Information and Control, 67, 70-90 (1985)
7. [Blass, Harary 79] Blass, A., Harary, F.: Properties of Almost all Graphs and Complexes, J. Graph theory, 3, 225-240 (1979)
8. [Carnap 50] Carnap, R.: Logical Foundations of Probability, Chicago: Univ. of Chicago Press, 1950
9. [Chagrov and Zakharyaschev 97] Chagrov, A., Zakharyaschev, M.: Modal Logic, Oxford: Clarendon Press, 1997
10. [Compton 88] Compton, K.J.: 0-1 laws in logic and combinatorics, In: NATO Adv. Study Inst. on Algorithms and Order, I. Rival (ed.), Reidel, 353-383 (1988)
11. [Dawar and Grädel 95] Dawar, A., Grädel, E.: Generalized quantifiers and 0-1 laws, Proc. 10th IEEE Symp. on Logic in Computer Science, IEEE Computer Society Press, 54-64 (1995)
12. [Fagin 76] Fagin, R.: Probabilities on finite models, Probabilities on finite models, J. Symb. Logic, 41, 50-58 (1976)
13. [Fagin 93] Fagin, R.: Finite-model theory - a personal perspective, Theoretical computer science, 116, 3-31 (1993)
14. [Fernandez de la Vega 90] Fernandez de la Vega, W.: Kernels in Random Graphs, Discrete Mathematics, 82, 213-217 (1990)
15. [Gaifman 64] Gaifman, H.: Concerning measures in first- order calculi, Israel Journal of Mathematics, 2, 1-18 (1964)
16. [Glebskii et al 69] Glebskii, Y.V., Kogan, D.I., Liogonki, M.I., Talanov, V.A.: Range and degree of readability of formulas in the restricted predicate calculus, Cybernetics, 5, 142-154 (1969)
17. [Goranko and Passy 92] Goranko, V., Passy, S.: Using the universal modality: gains and questions, J. of Logic and Computation, 2, 5-30 (1992)
18. [Grandjean 83] Grandjean, E.: Complexity of the first-order theory of almost all structures, Information and Computation, 52, 180-204 (1983)
19. [Gurevich 92] Gurevich,Y.: Zero-One Laws: The Logic in Computer Science Column, Bulletin of the European Association for Theoretical Computer Science, 90-106 (1992)
20. [Halpern and Kapron 94] Halpern, J., Kapron, B.: Zero-one laws for modal logic, Ann. Pure and Appl. Logic, 69, 157-193 (1994)
21. [Kapron 87] Kapron, B.: Modal sequents and definability, J. Symb. Logic, pp. 52, 756-762 (1987)
22. [Knyazev 90] Knyazev, V.V.: Zero-one law for an extension of first-order predicate calculus, Kybernetika, 26, 292-296 (1990)
23. [Kolaitis and Vardi 89] Kolaitis, Ph.G., Vardi, M.Y.: 0-1 Laws for Fragments of Second-Order Logic: an overview, In: Y. Moschovakis (ed.), Logic for Computer Science, Proc. of workshop in 1989, 265-286
24. [Kolaitis and Vardi 90] Kolaitis, Ph.G., Vardi, M.Y.: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic, Information and Computation, 87, 302-338 (1990)
25. [Kolaitis and Vardi 92] Kolaitis, Ph.G., Vardi, M.Y.: 0-1 laws for infinitary logics, Information and Computation, 98, 250-294 (1992)
26. [Lacoste 96] Lacoste, T.: Finitistic proofs of 0-1 laws for fragments of second-order logic, Information Processing Letters, 58, 1-4 (1996)
27. [Lynch 85] Lynch, J.: Probabilities of first-order sentences about unary functions, Trans. American Mathematical Society, 287, 543-568 (1985)
28. [Palmer 85] Palmer, E.: Graphical Evolution: An Introduction to the Theory of Random Graphs, Wiley, 1985
29. [Spaan 93] Spaan, E.: Complexity of modal logics, Ph D. Thesis, ILLC, Amsterdam, 1993
30. [Talanov 81] Talanov, V.: Asymptotic Solvability of logical Formulas, in: Combinatorial-Algebraic Methods in Applied Mathematics, Gorky Univ., USSR, 1981 (in Russian), 118-126