Looking for official formalism
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.
Is there prior work on this ? Can anyone provide references ?
Thank you for your time,