Lets model the following paradigm

I think of a logical modeling of above paradigm. I think deontic logic and epistemic logic could be useful. Please interested students contact me.