A Complete Deductive System for Probability Logic

DOI10.1093/logcom/exp031zbMath1191.03018OpenAlexW2018378628MaRDI QIDQ3656777

Chunlai Zhou

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

zbMATH Keywords

modal logiccoalgebrasdecidabilityprobability logicknowledge and beliefinfinitary Archimedean ruleMoss's conjecture

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48)

Related Items (13)

The Countable Henkin Principle ⋮ Concurrent weighted logic ⋮ Approximating Markov processes through filtration ⋮ An infinitary propositional probability logic ⋮ Probability logic of finitely additive beliefs ⋮ Substantive assumptions in interaction: a logical perspective ⋮ Unnamed Item ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Intuitive Probability Logic ⋮ Complete proof systems for weighted modal logic ⋮ Probabilization of logics: completeness and decidability ⋮ Unnamed Item ⋮ Conditional Probability Logic over Conditional Probability Spaces

This page was built for publication: A Complete Deductive System for Probability Logic