P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic, 2001.
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100502

A. Chagrow and M. Zakharyaschev, Modal Logic, Oxford Logic Guides 35, 1997.

B. Chauvin, P. Flajolet, D. Gardy, and B. Gittenberger, And/Or Trees Revisited, Combinatorics, Probability and Computing, vol.13, issue.4-5, pp.475-497, 2004.
DOI : 10.1017/S0963548304006273

P. Flajolet and A. M. Odlyzko, Singularity Analysis of Generating Functions, SIAM Journal on Discrete Mathematics, vol.3, issue.2, pp.216-240, 1990.
DOI : 10.1137/0403019
URL : https://hal.archives-ouvertes.fr/inria-00075725

P. Flajolet and R. Sedgewick, Analitic combinatorics: functional equations, rational and algebraic functions, 2001.

D. Gardy and A. R. Woods, And/or tree probabilities of Boolean functions, pp.139-146, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01184027

G. E. Hughes and M. J. , An Introduction to Modal Logic, 1968.

M. Huth and M. Ryan, Logic in Computer Science: Modelling and reasoning about Systems, 2000.
DOI : 10.1017/CBO9780511810275

Z. Kostrzycka, On the density of truth of implicational parts of intuitionistic and classical logics, Journal of Applied Non-Classical Logics, vol.23, issue.3-4, pp.295-325, 2003.
DOI : 10.3166/jancl.13.391-421

Z. Kostrzycka, On formulas with one variable in some fragment of Grzegorczyk's modal logic, Bulletin of the Section of Logic, vol.33, issue.2, pp.95-106, 2004.

Z. Kostrzycka, On the density of truth in Grzegorczyk's modal logic, Bulletin of the Section of Logic, vol.33, issue.2, pp.107-120, 2004.

Z. Kostrzycka, On asymptotic divergency in equivalential logics, submitted

Z. Kostrzycka and M. Zaionc, Statistics of Intuitionistic versus Classical Logics, Studia Logica, vol.76, issue.3, pp.307-328, 2004.
DOI : 10.1023/B:STUD.0000032101.88511.93

G. Matecki, Asymptotic Density for Equivalence, Electronic Notes in Theoretical Computer Science, vol.140, pp.81-91, 2005.
DOI : 10.1016/j.entcs.2005.06.022

M. Moczurad, J. Tyszkiewicz, and M. Zaionc, Statistical properties of simple types, Mathematical Structures in Computer Science, vol.10, issue.5, pp.575-594, 2000.
DOI : 10.1017/S0960129599002959

A. R. Woods, Coloring rules for finite trees, and probabilities of monadic second order sentences, Random Structures and Algorithms, pp.453-485, 1997.

M. Zaionc, On the asymptotic density of autologies in logic of implication and negation