Popova, S. N.; Zhukovskii, M. E. Existential monadic second order logic of undirected graphs: the Le Bars conjecture is false. (English) Zbl 07011463 Ann. Pure Appl. Logic 170, No. 4, 505-514 (2019). MSC: 03C85 03C13 60C05 05C80 PDF BibTeX XML Cite \textit{S. N. Popova} and \textit{M. E. Zhukovskii}, Ann. Pure Appl. Logic 170, No. 4, 505--514 (2019; Zbl 07011463) Full Text: DOI
Barwise, J. (ed.); Feferman, S. (ed.) Model-theoretic logics. New edition of the 1985 original published by Springer. (English) Zbl 1390.03002 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16825-1/hbk; 978-1-316-71715-8/ebook). xviii, 893 p. (2016). MSC: 03-02 03-06 03C70 03C95 03C80 03C52 03B25 03C40 03B15 03B48 03C60 03C85 PDF BibTeX XML Cite \textit{J. Barwise} (ed.) and \textit{S. Feferman} (ed.), Model-theoretic logics. New edition of the 1985 original published by Springer. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2016; Zbl 1390.03002) Full Text: DOI
Kleiter, Gernot D. Modeling biased information seeking with second order probability distributions. (English) Zbl 1340.03002 Kybernetika 51, No. 3, 469-485 (2015). MSC: 03B48 62F15 68T30 PDF BibTeX XML Cite \textit{G. D. Kleiter}, Kybernetika 51, No. 3, 469--485 (2015; Zbl 1340.03002) Full Text: DOI
Hosni, Hykel Towards a Bayesian theory of second-order uncertainty: lessons from non-standard logics. (English) Zbl 1311.03047 Hansson, Sven Ove (ed.), David Makinson on classical methods for non-classical problems. Dordrecht: Springer (ISBN 978-94-007-7758-3/hbk; 978-94-007-7759-0/ebook). Outstanding Contributions to Logic 3, 195-221 (2014). MSC: 03B48 PDF BibTeX XML Cite \textit{H. Hosni}, Outst. Contrib. Log. 3, 195--221 (2014; Zbl 1311.03047) Full Text: DOI
Kließ, M. S.; Paris, J. B. Second order inductive logic and Wilmers’ principle. (English) Zbl 1395.03013 J. Appl. Log. 12, No. 4, 462-476 (2014). MSC: 03B48 03B15 68T27 PDF BibTeX XML Cite \textit{M. S. Kließ} and \textit{J. B. Paris}, J. Appl. Log. 12, No. 4, 462--476 (2014; Zbl 1395.03013) Full Text: DOI
Fedel, Martina; Hosni, Hykel; Montagna, Franco A logical characterization of coherence for imprecise probabilities. (English) Zbl 1244.03082 Int. J. Approx. Reasoning 52, No. 8, 1147-1170 (2011). Reviewer: Jürgen Landes (Canterbury) MSC: 03B48 03B50 06D35 68Q17 PDF BibTeX XML Cite \textit{M. Fedel} et al., Int. J. Approx. Reasoning 52, No. 8, 1147--1170 (2011; Zbl 1244.03082) Full Text: DOI
Hansson, Sven Ove Measuring uncertainty. (English) Zbl 1182.03043 Stud. Log. 93, No. 1, 21-40 (2009). MSC: 03B48 03B42 PDF BibTeX XML Cite \textit{S. O. Hansson}, Stud. Log. 93, No. 1, 21--40 (2009; Zbl 1182.03043) Full Text: DOI
Milne, Peter Bets and boundaries: Assigning probabilities to imprecisely specified events. (English) Zbl 1159.03309 Stud. Log. 90, No. 3, 425-453 (2008). MSC: 03B48 03E70 68T37 PDF BibTeX XML Cite \textit{P. Milne}, Stud. Log. 90, No. 3, 425--453 (2008; Zbl 1159.03309) Full Text: DOI
Nathan, Amos Probability dynamics. (English) Zbl 1103.03023 Synthese 148, No. 1, 229-256 (2006); erratum ibid. 151, No. 1, 155-156 (2006). MSC: 03B48 60A05 PDF BibTeX XML Cite \textit{A. Nathan}, Synthese 148, No. 1, 229--256 (2006; Zbl 1103.03023) Full Text: DOI
Bamber, Donald; Goodman, I. R.; Nguyen, Hung T. Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs. (English) Zbl 1088.68165 Ann. Math. Artif. Intell. 45, No. 1-2, 83-171 (2006). MSC: 68T37 03B48 60G57 05C20 PDF BibTeX XML Cite \textit{D. Bamber} et al., Ann. Math. Artif. Intell. 45, No. 1--2, 83--171 (2006; Zbl 1088.68165) Full Text: DOI
Łuczak, Tomasz Phase transition phenomena in random discrete structures. (English) Zbl 1074.05082 Laptev, Ari (ed.), Proceedings of the 4th European congress of mathematics (ECM), Stockholm, Sweden, June 27–July 2, 2004. Zürich: European Mathematical Society (EMS) (ISBN 3-03719-009-4/hbk). 257-268 (2005). Reviewer: David B. Penman (Colchester) MSC: 05C80 60C05 PDF BibTeX XML Cite \textit{T. Łuczak}, in: Proceedings of the 4th European congress of mathematics (ECM), Stockholm, Sweden, June 27--July 2, 2004. Zürich: European Mathematical Society (EMS). 257--268 (2005; Zbl 1074.05082)
Bamber, D.; Goodman, I. R.; Nguyen, H. T. Deduction from conditional knowledge. (English) Zbl 1090.68102 Soft Comput. 8, No. 4, 247-255 (2004). MSC: 68T37 68T27 PDF BibTeX XML Cite \textit{D. Bamber} et al., Soft Comput. 8, No. 4, 247--255 (2004; Zbl 1090.68102) Full Text: DOI
Bamber, D.; Goodman, I. R.; Nguyen, H. T. Extension of the concept of propositional deduction from classical logic to probability: An overview of probability-selection approaches. (English) Zbl 0982.03012 Inf. Sci. 131, No. 1-4, 195-250 (2001). Reviewer: H.E.Kyburg (Rochester) MSC: 03B48 68T27 PDF BibTeX XML Cite \textit{D. Bamber} et al., Inf. Sci. 131, No. 1--4, 195--250 (2001; Zbl 0982.03012) Full Text: DOI
Bamber, Donald Entailment with near surety of scaled assertions of high conditional probability. (English) Zbl 0961.03022 J. Philos. Log. 29, No. 1, 1-74 (2000). MSC: 03B48 03B60 68T27 03A05 PDF BibTeX XML Cite \textit{D. Bamber}, J. Philos. Log. 29, No. 1, 1--74 (2000; Zbl 0961.03022) Full Text: DOI
Molodtsov, D. Soft set theory – first results. (English) Zbl 0936.03049 Comput. Math. Appl. 37, No. 4-5, 19-31 (1999). Reviewer: M.Mareš (Praha) MSC: 03E70 03E75 26E50 28E10 03E72 91A44 PDF BibTeX XML Cite \textit{D. Molodtsov}, Comput. Math. Appl. 37, No. 4--5, 19--31 (1999; Zbl 0936.03049) Full Text: DOI
Rašković, Miodrag; Djordjević, Radosav Probability quantifiers and operators. (English) Zbl 0933.03044 Series in Pure and Applied Mathematics. Belgrade: Vesta Company. iv, 121 p. (1996). Reviewer: H.E.Kyburg (Rochester) MSC: 03C80 03B48 03H05 60A10 28E05 60B05 60A05 PDF BibTeX XML Cite \textit{M. Rašković} and \textit{R. Djordjević}, Probability quantifiers and operators. Belgrade: Vesta Company (1996; Zbl 0933.03044)
Szwast, Wiesław A note on the asymptotic probabilities of existential second-order minimal Gödel sentences with equality. (English) Zbl 0839.03020 Int. J. Found. Comput. Sci. 6, No. 4, 339-351 (1995). MSC: 03C13 PDF BibTeX XML Cite \textit{W. Szwast}, Int. J. Found. Comput. Sci. 6, No. 4, 339--351 (1995; Zbl 0839.03020) Full Text: DOI
Tendera, Lidia A note on asymptotic probabilities of existential second-order minimal classes – the last step. (English) Zbl 0803.03017 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 20, No. 4, 277-284 (1994). MSC: 03C13 03B15 PDF BibTeX XML Cite \textit{L. Tendera}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 20, No. 4, 277--284 (1994; Zbl 0803.03017)
Rašković, Miodrag D.; Đorđević, Radosav S. Second-order probability logic. (English) Zbl 0829.03021 Math. Balk., New Ser. 6, No. 1, 105-108 (1992). MSC: 03C80 03B48 PDF BibTeX XML Cite \textit{M. D. Rašković} and \textit{R. S. Đorđević}, Math. Balk., New Ser. 6, No. 1, 105--108 (1992; Zbl 0829.03021)
Compton, Kevin J. A logical approach to asymptotic combinatorics. II: Monadic second-order properties. (English) Zbl 0717.60016 J. Comb. Theory, Ser. A 50, No. 1, 110-131 (1989). Reviewer: O.V.Belegradek MSC: 60C05 03C13 05A16 PDF BibTeX XML Cite \textit{K. J. Compton}, J. Comb. Theory, Ser. A 50, No. 1, 110--131 (1989; Zbl 0717.60016) Full Text: DOI
Oblow, E. M. Extension of O-theory to problems of logical inferencing. (English) Zbl 0684.68104 Int. J. Intell. Syst. 4, No. 2, 119-141 (1989). MSC: 68T20 03E70 03B48 03E72 03B52 PDF BibTeX XML Cite \textit{E. M. Oblow}, Int. J. Intell. Syst. 4, No. 2, 119--141 (1989; Zbl 0684.68104) Full Text: DOI
Oblow, E. M. Foundations of O-theory: measurements and relation to fuzzy set theory. (English) Zbl 1200.03017 Int. J. Gen. Syst. 14, No. 4, 357-378 (1988). MSC: 03B48 03E70 03E72 60A99 68T05 PDF BibTeX XML Cite \textit{E. M. Oblow}, Int. J. Gen. Syst. 14, No. 4, 357--378 (1988; Zbl 1200.03017) Full Text: DOI
Vickers, John M. Chance and structure. An essay on the logical foundations of probability. (English) Zbl 0707.03015 Clarendon Library of Logic and Philosophy. Oxford: Clarendon Press. viii, 244 p. £30.00 (1988). Reviewer: R.Wallace Garden MSC: 03B48 60-02 60A99 03A05 03-02 03C80 PDF BibTeX XML Cite \textit{J. M. Vickers}, Chance and structure. An essay on the logical foundations of probability. Oxford: Clarendon Press (1988; Zbl 0707.03015)
Barwise, J. (ed.); Feferman, S. (ed.) Model-theoretic logics. (Parts D-F). (English) Zbl 0587.03002 Perspectives in Mathematical Logic. New York etc.: Springer-Verlag. XVIII, 893 p. DM 480.00 (1985). Reviewer: D. Mundici MSC: 03-02 03C70 03C95 03C80 03C52 03-06 03B25 03C40 03B15 03B48 03C60 03C85 PDF BibTeX XML
Barwise, J. (ed.); Feferman, S. (ed.) Model-theoretic logics. (Parts A-C). (English) Zbl 0587.03001 Perspectives in Mathematical Logic. New York etc.: Springer-Verlag. XVIII, 893 p. DM 480.00 (1985). Reviewer: D.Mundici MSC: 03-02 03C70 03C95 03C80 03C52 03-06 03B25 03C40 03B15 03B48 03C60 03C85 PDF BibTeX XML
Richtmyer, Robert D. Principles of advanced mathematical physics. (Printsipy sovremennoj matematicheskoj fiziki). Transl. from the English. (Russian) Zbl 0537.46003 Moskva: Izdatel’stvo ”Mir”. 486 p. R. 2.20 (1982). MSC: 46-01 47-01 47A10 46F10 28A12 28C20 31B10 46C05 46E30 46E35 46F12 47A05 47A60 47B06 47B10 47B25 47E05 47F05 60A05 81P10 82B10 PDF BibTeX XML
Hallden, Sören The foundations of decision logic. (English) Zbl 0483.90001 Library of Theoria, No. 14. Lund: CWK Gleerup. 99 p. SKr. 60.00 (1980). MSC: 91B06 90-02 91B08 91B16 03B48 62C10 PDF BibTeX XML
Richtmyer, Robert D. Principles of advanced mathematical physics. Vol. I. (English) Zbl 0402.46001 Texts and Monographs in Physics. Berlin-Heidelberg-New York: Springer-Verlag. XV, 422 p. DM 44.00; $ 24.20 (1978). MSC: 46-01 46C05 46F12 46F10 46E30 46E35 31B10 47A05 47A10 47A60 47B25 47E05 47F05 47B06 47B10 28A12 28C20 81P10 60A05 47-01 82B10 PDF BibTeX XML
Allen, Allen D. Measuring the empirical properties of sets. (English) Zbl 0275.02055 IEEE Trans. Syst. Man Cybern. 4, 66-73 (1974). MSC: 03E70 03B50 03G05 60A05 PDF BibTeX XML Cite \textit{A. D. Allen}, IEEE Trans. Syst. Man Cybern. 4, 66--73 (1974; Zbl 0275.02055) Full Text: DOI