normal modal logic code snippets in csharp

generate all normal modal logic axiom in csharp