@incollection(Aaronson:2013:PhilosophersComplexity, url = {https://arxiv.org/abs/1108.1791}, ) @book(adams1996primer, ) @inproceedings(balbiani2016logical, url = {http://dl.acm.org/citation.cfm?id=2936924.2937020}, ) @book(boole1854investigation, ) @article(Campbell:2015:SelfReference, doi = {10.1017/S1755020315000118}, ) @book(Carnap:1962:LogicalProbability, doi = {10.2307/2021419}, ) @techreport(Christiano:2014:omniscience, url = {http://intelligence.org/files/Non-Omniscience.pdf}, ) @techreport(Christiano:2013:definability, url = {https://intelligence.org/files/DefinabilityTruthDraft.pdf}, ) @article(Demski:2012a, doi = {10.1007/978-3-642-35506-6_6}, ) @article(Eells:1990:OldEvidence, url = {http://mcps.umn.edu/philosophy/14_9Eells.pdf}, ) @article(eklund2002inconsistent, doi = {10.1111/j.1933-1592.2002.tb00001.x}, ) @article(fagin1987belief, doi = {10.1016/0004-3702(87)90003-8}, ) @book(Fagin:1995:knowledge, ) @incollection(DeFinetti:1937:foresight, doi = {10.1007/978-1-4612-0919-5_10}, ) @article(Gaifman:1964, ) @article(Gaifman:1982:RichProbabilities, doi = {10.2307/2273587}, ) @article(Garber:1983:OldEvidence, ) @article(Garrabrant:2016:li, url = {https://arxiv.org/abs/1609.03543}, ) @article(Garrabrant:2016:ic, url = {https://arxiv.org/abs/1604.05288}, ) @article(glanzberg2001liar, doi = {10.1023/A:1010314719817}, ) @book(Glymour:1980:OldEvidence, ) @book(Godel:1934, ) @book(Good:1950:weighing, doi = {10.1017/S0031819100026863}, ) @book(grim1991incomplete, ) @book(gupta1993revision, ) @article(Hacking:1967, doi = {10.1086/288169}, ) @book(hailperin1996sentential, ) @book(Halpern:2003, ) @article(Hilbert:1902, url = {http://www.ams.org/journals/bull/1902-08-10/S0002-9904-1902-00923-3/S0002-9904-1902-00923-3.pdf}, ) @book(Hintikka:1962:knowledge, doi = {10.2307/2271621}, ) @article(Hutter:2013, doi = {10.1016/j.jal.2013.03.003}, ) @book(Jaynes:2003, doi = {10.1017/CBO9780511790423}, ) @book(Joyce:1999, doi = {10.1017/CBO9780511498497}, ) @article(kolmogorov1950foundations, ) @inproceedings(konolige1983deductive, url = {https://www.ijcai.org/Proceedings/83-1/Papers/090.pdf}, ) @book(lewis1999papers, doi = {10.1017/CBO9780511625343}, ) @book(Li:1993, doi = {10.1007/978-1-4757-3860-5}, ) @article(Los:1955, url = {http://eudml.org/doc/209996}, ) @book(mcgee1990truth, ) @book(Von-Neumann:1944, ) @book(polya1990mathematics, ) @incollection(Ramsey:1931, doi = {10.1007/978-3-319-20451-2_3}, ) @article(savage1954foundations, doi = {10.1002/nav.3800010316}, ) @article(Savage:1967:personal, url = {http://www.jstor.org/stable/186119}, ) @article(Solomonoff:1964, doi = {10.1016/S0019-9958(64)90223-2}, ) @article(Solomonoff:1964a, doi = {10.1016/S0019-9958(64)90131-7}, ) @article(sprenger2015novel, doi = {10.1086/681767}, ) @article(teller1973conditionalization, doi = {10.1007/978-94-010-1853-1_9}, ) @article(turing1936computable, doi = {10.1112/plms/s2-42.1.230}, ) @article(velazquez2014dynamic, doi = {10.1007/s10849-014-9193-0}, ) @article(zhang2014bounded, doi = {10.4007/annals.2014.179.3.7}, ) @article(zvonkin1970complexity, doi = {10.1070/RM1970v025n06ABEH001269}, ) @article(zynda1995old, doi = {10.1007/BF00996312}, )