Quantification over propositional formulas in probability logic: decidability issues
From MaRDI portal
Publication:695788
DOI10.1007/s10469-011-9148-3zbMath1432.03033OpenAlexW2129318326MaRDI QIDQ695788
Publication date: 17 December 2012
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-011-9148-3
Related Items
Collapsing probabilistic hierarchies. I ⋮ Quantifying over events in probability logic: an introduction ⋮ Elementary invariants for quantified probability logic
Cites Work