Hutter, Marcus; Lloyd, John W.; Ng, Kee Siong; Uther, William T. B. Probabilities on sentences in an expressive logic. (English) Zbl 1284.03161 J. Appl. Log. 11, No. 4, 386-420 (2013). MSC: 03B48 68T37 PDFBibTeX XMLCite \textit{M. Hutter} et al., J. Appl. Log. 11, No. 4, 386--420 (2013; Zbl 1284.03161) Full Text: DOI arXiv
Speranskii, S. O. Collapsing probabilistic hierarchies. I. (English. Russian original) Zbl 1315.03033 Algebra Logic 52, No. 2, 159-171 (2013); translation from Algebra Logika 52, No. 2, 236-254 (2013). MSC: 03B48 03C62 68Q17 68Q25 PDFBibTeX XMLCite \textit{S. O. Speranskii}, Algebra Logic 52, No. 2, 159--171 (2013; Zbl 1315.03033); translation from Algebra Logika 52, No. 2, 236--254 (2013) Full Text: DOI
Rasga, João; Lotfallah, Wafik Boulos; Sernadas, Cristina Completeness and interpolation of almost-everywhere quantification over finitely additive measures. (English) Zbl 1295.03022 Math. Log. Q. 59, No. 4-5, 286-302 (2013). MSC: 03C80 03C40 PDFBibTeX XMLCite \textit{J. Rasga} et al., Math. Log. Q. 59, No. 4--5, 286--302 (2013; Zbl 1295.03022) Full Text: DOI