Kleene's logic, also known as Kleene's three-valued logic, is a non-classical logic that introduces a third truth value, often interpreted as 'undefined', to handle indeterminate or incomplete information. It is particularly useful in computer science and formal semantics for dealing with partial functions and undefined expressions, providing a framework for reasoning in situations where traditional true/false logic is inadequate.