Thanks, guys. The link you provided, Anthony, is not exactly bedtime reading.
It's also a field of interest in computing, especially artificial intelligence. Computers think in binary True/False terms. Applying modal logic (and other forms of logic) to computers might enable them to think in terms of True / False / Maybe / Probably, etc.