Download:
|
by Valentin Goranko, Bruce Kapron
http://general.rau.ac.za/maths/goranko/papers/Goranko-Kapron.ps
Add To MetaCart
Abstract:
of the countable random frame, which is contained in and `approximates ' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen nite frame. We give a sound and complete axiomatization of ML
Citations
|
255
|
Modal Logic
– Blackburn, Rijke, et al.
- 2001
|
|
130
|
Modal logic
– Chagrov, Zakharyaschev
- 1997
|
|
78
|
Using the universal modality: gains and questions
– Goranko, Passy
- 1992
|
|
58
|
Graphical Evolution: An Introduc-tion to the Theory of Random Graphs
– Palmer
- 1985
|
|
51
|
Range and degree of realizability of formulas in the restricted predicate calculus
– Glebskiĭ, Kogan, et al.
- 1969
|
|
46
|
0–1 laws in logic and combinatorics
– Compton
- 1988
|
|
37
|
0-1 laws and decision problems for fragments of second-order logic
– Kolaitis, Vardi
- 1990
|
|
18
|
de la Vega and
– Fernandez
- 1981
|
|
15
|
Benthem, Modal Logic and Classical Logic
– van
- 1983
|
|
14
|
Finite-model theory–a personal perspective
– Fagin
- 1993
|
|
11
|
Logical Foundations of Probability, Univ
– Carnap
- 1950
|
|
9
|
Conterexamples of the 0-1 law for fragments of existential second-order logic: an overview. Bulletin of Symbolic Logic 9
– Bars
- 2000
|
|
9
|
0-1 laws for fragments of second-order logic: an overview
– Kolaitis, Vardi
- 1989
|
|
5
|
Asymptotic solvability of logical formulas
– Talanov
- 1981
|
|
4
|
Zero-one laws for modal logic
– Halpern, Kapron
- 1994
|
|
4
|
Finitistic proofs of 0-1 laws for fragments of second-order logic
– Lacoste
- 1996
|
|
3
|
Generalized quanti and 0-1 laws
– Dawar, Gradel
- 1995
|
|
3
|
Concerning measures in order calculi
– Gaifman
- 1964
|
|
3
|
Zero-One Laws: The Logic
– Gurevich
- 1992
|
|
3
|
Modal sequents and de
– Kapron
- 1987
|
|
3
|
0-1 laws for in logics
– Kolaitis, Vardi
- 1992
|
|
2
|
The 0-1 law fails for monadic existential second-order logic on undirected graphs, Information Processing Letters
– Bars
|
|
2
|
A zero-one law for a logic with a operator
– Blass, Gurevich, et al.
- 1985
|
|
2
|
Properties of Almost all Graphs and
– Blass, Harary
- 1979
|
|
2
|
Probabilities on models, Probabilities on models
– Fagin
- 1976
|
|
2
|
Zero-one law for an extension of predicate calculus
– Knyazev
- 1990
|
|
2
|
Probabilities of sentences about unary functions
– Lynch
- 1985
|
|
1
|
Complexity of the order theory of almost all structures
– Grandjean
- 1983
|
