Модальная логика. Индукция, аргументация, доказательство - презентация ...