Category:Modal Logic

A branch of logic in which truth values are more complex than being merely true or false, and which distinguishes between different "modes" of truth.