epistemic logic code snippets in csharp

make a generic epistemic system using language-ext in csharp