A logic with conditional probability operators

DOI10.2298/PIM1001085DzbMath1265.03010OpenAlexW1969478288MaRDI QIDQ2914029

Petar Maksimović, Dragan Doder, Bojan Marinković, Aleksandar Perović

Publication date: 21 September 2012

Published in: Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2298/pim1001085d

zbMATH Keywords

decidabilitycompleteness theoremPSPACE-complexity

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Decidability of theories and sets of sentences (03B25)

Related Items (6)

Reasoning About Degrees of Confirmation ⋮ Probabilistic logics with independence and confirmation ⋮ An epistemic probabilistic logic with conditional probabilities ⋮ Logics with Probability Operators ⋮ Some New Probability Operators ⋮ Applications of Logics About Simple Probabilities

This page was built for publication: A logic with conditional probability operators