added modal logic symbols