Looking for official formalism

Good day,

I am a student in computer sciences and I am trying to formalise the mathematical basics of a project.

The concept is to represent dependencies and conditions on elements. The exact goal is to "certify" an element based on it's history and a set of conditions. In other words, an element is true if and only if all of it's history and conditions related to it are true.