Random serious stuff possibly related to AI I’ve been looking at.
Judea Pearl: Causal Inference in Statistics: An Overview. Pearl’s stuff seems to be pretty central to formal causality, and this is reasonably recent.
A Philosophical Treatise of Universal Induction. Solomonoff induction, related to AIXI stuff.
Shane Legg’s PhD thesis Machine Super Intelligence
A New Approach to Quantum Logic, via Shane Legg, this is supposedly related to Bayesian inference and how humans do reasoning.
Physics, Topology, Logic and Computation: A Rosetta Stone A generally neat thing about category theory going into everything.