A Complete Deductive System for Probability Logic
From MaRDI portal
Publication:3656777
DOI10.1093/logcom/exp031zbMath1191.03018MaRDI QIDQ3656777
Publication date: 14 January 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exp031
modal logic; coalgebras; decidability; probability logic; knowledge and belief; infinitary Archimedean rule; Moss's conjecture
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03B48: Probability and inductive logic
Related Items
Unnamed Item, Unnamed Item, Conditional Probability Logic over Conditional Probability Spaces, Approximating Markov processes through filtration, Concurrent weighted logic, Probability logic of finitely additive beliefs, Complete proof systems for weighted modal logic, Probabilization of logics: completeness and decidability, Substantive assumptions in interaction: a logical perspective, Coalgebraic logic over general measurable spaces – a survey, Intuitive Probability Logic, The Countable Henkin Principle