Fetching the paper…
Reading the bibliography…
We present a computable algorithm that assigns probabilities to every logical statement in a given formal language, and refines those probabilities over time.
“Mathematical Problems”
David Hilbert · 1902
Earlier work this paper cites.
“Truth and Probability”
Frank Ramsey · 1931
Earlier work this paper cites.
“On Undecidable Propositions of Formal Mathematical Systems”
Kurt Gödel, Stephen Kleene and John Rosser · 1934
Earlier work this paper cites.
“On Computable Numbers, with an Application to the Entscheidungsproblem”
Alan. Turing · 1936
Earlier work this paper cites.
“Foresight: Its Logical Laws, Its Subjective Sources”
Bruno de · 1937
Earlier work this paper cites.
“Theory of Games and Economic Behavior”
John von and Oskar Morgenstern · 1944
Earlier work this paper cites.
“Probability and the Weighing of Evidence”
Irving. Good · 1950
Earlier work this paper cites.
“Foundations of the Theory of Probability.”
A.N. Kolmogorov · 1950
Earlier work this paper cites.
“The foundations of statistics.”
Leonard Savage · 1954
Earlier work this paper cites.
“On the Axiomatic Treatment of Probability”
Jerzy Łoś · 1955
Earlier work this paper cites.
“Logical Foundations of Probability”
Rudolf Carnap · 1962
Earlier work this paper cites.
“Knowledge and belief: An introduction to the logic of the two notions”
Jaakko Hintikka · 1962
Earlier work this paper cites.
“Concerning Measures in First Order Calculi”
Haim Gaifman · 1964
Earlier work this paper cites.
“A Formal Theory of Inductive Inference. Part I”
Ray. Solomonoff · 1964
Earlier work this paper cites.
“A Formal Theory of Inductive Inference. Part II”
Ray. Solomonoff · 1964
Earlier work this paper cites.
“Slightly More Realistic Personal Probability”
Ian Hacking · 1967
Earlier work this paper cites.
“Difficulties in the theory of personal probability”
Leonard Savage · 1967
Earlier work this paper cites.
“The Complexity of Finite Objects and the Development of the Concepts of Information and Randomness by Means of the Theory of Algorithms”
Alexander. Zvonkin and Leonid. Levin · 1970
Earlier work this paper cites.
“Probabilistic Programming”, Probability and Mathematical Statistics: A Series of Monographs and Textbooks
Steven Vajda · 1972
Earlier work this paper cites.
“Conditionalization and observation”
Paul Teller · 1973
Earlier work this paper cites.
“Impossible Possible Worlds Vindicated”
Jaakko Hintikka · 1979
Earlier work this paper cites.
“Urn Models: A New Kind of Non-Standard Model for First-Order Logic”
Veikko Rantala · 1979
Earlier work this paper cites.
“Theory and Evidence”
Clark Glymour · 1980
Earlier work this paper cites.
“Probabilities over rich languages, testing and randomness”
Haim Gaifman and Marc Snir · 1982
Earlier work this paper cites.
“Models of bounded rationality: Empirically grounded economic reason”
Herbert Simon · 1982
Earlier work this paper cites.
“Old evidence and logical omniscience in Bayesian confirmation theory”
Daniel Garber · 1983
Earlier work this paper cites.
“Bayesianism with a human face”
Richard Jeffrey · 1983
Earlier work this paper cites.
“Range of Epistemic Logic”, Scots Philosophical Monograph
George. Schlesinger · 1985
Earlier work this paper cites.
“Belief, awareness, and limited reasoning”
Ronald Fagin and Joseph. Halpern · 1987
Earlier work this paper cites.
“Knowledge in Flux: Modeling the Dynamics of Epistemic States”
Peter Gärdenfors · 1988
Earlier work this paper cites.
“Probabilistic Reasoning in Intelligent Systems”
Judea Pearl · 1988
Earlier work this paper cites.
“Paraconsistent Logic Programming”
Howard. Blair and V.S. Subrahmanian · 1989
Earlier work this paper cites.
“On What Cannot Be”
Daniel Cohen · 1990
Earlier work this paper cites.
“Bayesian problems of old evidence”
Ellery Eells · 1990
Earlier work this paper cites.
“Truth, Vagueness, and Paradox: An Essay on the Logic of Truth”
Vann McGee · 1990
Earlier work this paper cites.
“Mathematics and Plausible Reasoning: Patterns of plausible inference”
George Polya · 1990
Earlier work this paper cites.
“The Incomplete Universe: Totality, Knowledge, and Truth”
Patrick Grim · 1991
Earlier work this paper cites.
“Making Decisions”
Dennis Lindley · 1991
Earlier work this paper cites.
“How to decide how to decide how to…: Modeling limited rationality”
Barton. Lipman · 1991
Earlier work this paper cites.
“Do the Right Thing: Studies in Limited Rationality”
Stuart. Russell and Eric. Wefald · 1991
Earlier work this paper cites.
“Principles of Metareasoning”
Stuart. Russell and Eric. Wefald · 1991
Cited alongside, same era.
“Foundations of game theory”
Kenneth Binmore · 1992
Cited alongside, same era.
“The Revision Theory of Truth”
Anil Gupta and Nuel. Belnap · 1993
Cited alongside, same era.
“An Introduction to Kolmogorov Complexity and its Applications”
Ming Li and Paul.. Vitányi · 1993
Cited alongside, same era.
“The epistemic structure of a theory of a game”
Michael Bacharach · 1994
Cited alongside, same era.
“Reasoning about knowledge, vol. 4”
Ronald Fagin, Joseph. Halpern, Yoram Moses and Moshe Vardi · 1995
Cited alongside, same era.
“Fuzzy Sets and Fuzzy Logic”
George Klir and Bo Yuan · 1995
“Metareasoning and bounded rationality”
Shlomo Zilberstein · 2008
Later among the works it cites.
“Factorie: Probabilistic programming via imperatively defined factor graphs”
Andrew McCallum, Karl Schultz and Sameer Singh · 2009
Later among the works it cites.
“Demuth randomness and computational complexity”
Antonin Kucera and Andre Nies · 2011
Later among the works it cites.
“Measuring and Repairing Inconsistency in Probabilistic Knowledge Bases”
David Muiño · 2011
Later among the works it cites.
“Learning Performance of Prediction Markets with Kelly Bettors”
Alina Beygelzimer, John Langford and David. Pennock · 2012
Later among the works it cites.
“Logical Prior Probability”
Abram Demski · 2012
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
“Epistemic logic for AI and computer science”, Cambridge Tracts in Theoretical Computer Science 41
J-J. Meyer and Wiebe Van · 1995
Cited alongside, same era.
“Old evidence and new theories”
Lyle Zynda · 1995
Cited alongside, same era.
“A Primer of Probability Logic”
Ernest. Adams · 1996
Cited alongside, same era.
“Sentential probability logic”
Theodore Hailperin · 1996
Cited alongside, same era.
“Formal Ontology and Information Systems”
Nicola Guarino · 1998
Cited alongside, same era.
“Selecting Computations: Theory and Applications”
Nicholas Hay, Stuart. Russell, Solomon Shimony and David Tolpin · 2012
Later among the works it cites.
“Counterpossibles”, 2012
Barak Krakauer · 2012
Later among the works it cites.
“Why philosophers should care about computational complexity”
Scott Aaronson · 2013
Later among the works it cites.
“Definability of Truth in Probabilistic Logic”, 2013
Paul. Christiano, Eliezer Yudkowsky, Marcello Herreshoff and Mihály Bárász · 2013
Later among the works it cites.
“Relevant logics, modal logics and theory change”, 2013
André Fuhrmann · 2013
Later among the works it cites.
“Fuzzy logic: mathematical tools for approximate reasoning” 11
Giangiacomo Gerla · 2013
Later among the works it cites.
“Probabilities on Sentences in an Expressive Logic”
Marcus Hutter, John. Lloyd, Kee Ng and William.. Uther · 2013
Later among the works it cites.
“Auto-Encoding Variational Bayes”, 2013
Diederik Kingma and Max Welling · 2013
Later among the works it cites.
“Inconsistent Mathematics” 312
Chris Mortensen · 2013
Later among the works it cites.
“Computable probability distributions which converge on believing true Π \Pi 1 sentences will disbelieve true Π \Pi 2 sentences”, 2013
Will Sawin and Abram Demski · 2013
Later among the works it cites.
“Inconsistency Measures for Probabilistic Logics”
Matthias Thimm · 2013
Later among the works it cites.
“Inconsistency measures for probabilistic logics”
Matthias Thimm · 2013
Later among the works it cites.
“On Counterpossibles”
Jens Bjerring · 2014
Later among the works it cites.
“Non-Omniscience, Probabilistic Inference, and Metamathematics”, 2014
Paul Christiano · 2014
Later among the works it cites.
“Latest Advances in Inductive Logic Programming”
Stephen. Muggleton and Hiroaki Watanabe · 2014
Later among the works it cites.
“A New Approach to Probabilistic Programming Inference.”
Frank Wood, Jan-Willem van Meent and Vikash Mansinghka · 2014
Later among the works it cites.
“Bounded gaps between primes”
Yitang Zhang · 2014
Later among the works it cites.
“Frank-Wolfe Bayesian Quadrature: Probabilistic Integration with Theoretical Guarantees”
François-Xavier Briol, Chris Oates, Mark Girolami and Michael. Osborne · 2015
Later among the works it cites.
“Probabilistic Integration”, 2015
François-Xavier Briol et al · 2015
Later among the works it cites.
“How to Express Self-Referential Probability. A Kripkean Proposal”
Catrin Campbell-Moore · 2015
Later among the works it cites.
“Probabilistic (logic) programming concepts”
Luc De and Angelika Kimmig · 2015
Later among the works it cites.
“Probabilistic numerics and uncertainty in computations”
Philipp Hennig, Michael. Osborne and Mark Girolami · 2015
Later among the works it cites.
“Markov Logic Networks for Natural Language Question Answering”, 2015
Tushar Khot et al · 2015
Later among the works it cites.
“Metareasoning for Planning Under Uncertainty”, 2015
Christopher Lin, Andrey Kolobov, Ece Kamar and Eric Horvitz · 2015
Later among the works it cites.
“Solving Reasoning Problems for Probabilistic Conditional Logics with Consistent and Inconsistent Information”, 2015
Nico Potyka · 2015
Later among the works it cites.
“Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures”
Nico Potyka and Matthias Thimm · 2015
Later among the works it cites.
“Toward Idealized Decision Theory”, Preprint, 2015
Nate Soares and Benja Fallenstein · 2015
Later among the works it cites.
“A Novel Solution to the Problem of Old Evidence”
Jan Sprenger · 2015
Later among the works it cites.
“Why Paraconsistent Logics?”
Seiki Akama and Newton.. da Costa · 2016
Closest in time.
“Asymptotic Logical Uncertainty and the Benford Test”
Scott Garrabrant et al · 2016
Closest in time.
Scott Garrabrant, Benya Fallenstein, Abram Demski and Nate Soares · 2016
Closest in time.
“Asymptotic Convergence in Online Learning with Unbounded Delays”, 2016
Scott Garrabrant, Nate Soares and Jessica Taylor · 2016
Closest in time.
“Rationality and Intelligence: A Brief Update”
Stuart. Russell · 2016
Closest in time.