It explores how we reason about possibilities when we cannot assume the principles of classical logic.