"modal logic"@en-us . .