Intuitionistic Modal Logic

Home > Philosophy > Logic > Modal Logic > Intuitionistic Modal Logic

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