dynamic epistemic logic code snippets in csharp

make generic dynamic epistemic logic system in csharp