Modal Logic

Question 1

What is modal logic?

Answer 1

The study of the deductive behavior of the modal expressions ‘it is necessary that’ and ‘it is possible that’.

Question 2

What new operators are introduced into modal logic?

Answer 2

□ (“It is necessary that…”)

◊ (“It is possible that…”)