Cezary Cieslinski Leon Horsten Hannes Leitgeb Axioms for Type-Free subjective Probability. 493-508 2024 17 Rev. Symb. Log. 2 https://doi.org/10.1017/s1755020323000047 db/journals/rsl/rsl17.html#CieslinskiHL24