Abstract
A tableau system for a logic suitable for intuitionistic reasoning about probabilities is presented. Soundness and completeness of the system are proved. A decision procedure based on the tableau system is given.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have