Belnap's four-valued logic, also known as Belnap-Dunn logic, extends classical two-valued logic by introducing four truth values to handle scenarios with incomplete or conflicting information: true, false, both (true and false), and neither (neither true nor false). This logic is particularly useful in computer science and artificial intelligence for dealing with inconsistent databases and reasoning under uncertainty.