An extension of the logic of proofs with actions (In Persian)