Modal Logic

A extension of logic that introduces the concepts possibility and neccesity.