implemented modal connectives
test cases for modal connectives