Запитання для самоперевірки:
1. Що таке модальність?
2. Що називають модальним висловлюванням?
3. Яку логіку називають модальною?
4. Чим відрізняється модальна логіка від класичної?
5. Що називається модальною системою?
6. На яких засадах будується модальна система? Наведіть приклад.
7. Які основні модальні оператори ті який зв'язок вони мають між собою?
8. Опишіть семантику Кріпке.
9. Опишіть теорію “двійників” К. Льюїса.