A logic for reasoning about probabilities

[1]  Ronald Fagin,et al.  Uncertainty, belief, and probability 1 , 1991, IJCAI.

[2]  Martín Abadi,et al.  Decidability and expressiveness for first-order logics of probability , 1989, 30th Annual Symposium on Foundations of Computer Science.

[3]  Ronald Fagin,et al.  Uncertainty, belief, and probability , 1989, IJCAI 1989.

[4]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

[5]  Joseph Y. Halpern,et al.  Knowledge, probability, and adversaries , 1989, PODC '89.

[6]  Christos H. Papadimitriou,et al.  Probabilistic satisfiability , 1988, J. Complex..

[7]  Peter Haddawy,et al.  Convergent deduction for probabilistic logic , 1987, Int. J. Approx. Reason..

[8]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge , 1988 .

[9]  John F. Canny,et al.  Some algebraic and geometric computations in PSPACE , 1988, STOC '88.

[10]  H. Guggenheimer,et al.  Foundations of Probabilistic Logic , 1987, IJCAI.

[11]  Jane Terry Nutter,et al.  Uncertainty and Probability , 1987, IJCAI.

[12]  Joseph Y. Halpern,et al.  A logic to reason about likelihood , 1983, Artif. Intell..

[13]  Haim Gaifman,et al.  A Theory of Higher Order Probabilities , 1986, TARK.

[14]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[15]  Dexter Kozen,et al.  A probabilistic PDL , 1983, J. Comput. Syst. Sci..

[16]  Yishai A. Feldman,et al.  A Decidable Propositional Dynamic Logic with Explicit Probabilities , 1986, Inf. Control..

[17]  John H. Reif,et al.  The complexity of elementary algebra and geometry , 1984, STOC '84.

[18]  Theodore Hailperin,et al.  Probability logic , 1984, Notre Dame J. Formal Log..

[19]  Yishai A. Feldman,et al.  A decidable propositional probabilistic dynamic logic , 1983, STOC.

[20]  A. Kolmogorov.  On Logical Foundations of Probability Theory , 1983 .

[21]  Saharon Shelah,et al.  Reasoning with Time and Chance , 1982, Inf. Control..

[22]  Leonard Berman,et al.  The Complexity of Logical Theories , 1980, Theor. Comput. Sci..

[23]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[24]  J. Ferrante,et al.  The computational complexity of logical theories , 1979 .

[25]  M. Fischer,et al.  SUPER-EXPONENTIAL COMPLEXITY OF PRESBURGER ARITHMETIC , 1974 .

[26]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[27]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[28]  J. Lukasiewicz.  Logical foundations of probability theory , 1970 .

[29]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[30]  H. Gaifman.  Concerning measures in first order calculi , 1964 .

[31]  G. Rota.  On the foundations of combinatorial theory I. Theory of Möbius Functions , 1964 .

[32]  B. Harshbarger.  An Introduction to Probability Theory and its Applications, Volume I , 1958 .

[33]  H. W. Kuhn.  Solvability and Consistency for Linear Equations and Inequalities , 1956 .

[34]  A. Seidenberg.  A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA , 1954 .

[35]  H. Jeffreys.  Logical Foundations of Probability , 1952, Nature.

[36]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[37]  W. Feller.  An Introduction to Probability Theory and Its Applications , 1959 .

[38]  R. Carnap.  Logical foundations of probability , 1951 .

[39]  J. Farkas.  Theorie der einfachen Ungleichungen. , 1902 .