Одним из ярких примером одной из неклассической логики является модальная логика. Для классической логики вещь существует или не существует, и других вариантов нет. Однако мы можем рассматривать не только то, что имеется и отсутствует, но и то, что возможно или должно (не должно) быть и т. д.