modal logic updated