Propositional Logic of Supposition and Assertion