Лекция 5. Модальные логики предикатов и их модели

1. Интуиционистская логика предикатов и ее расширения. Выводимость, правила Бернайса.
2. Теорема о дедукции для суперинтуиционистских предикатных логик.
3. Правила монотонности для кванторов. Эквивалентная замена. Допустимость правила конгруэнтности.
4. Универсальное замыкание. Схемы аксиом вместо правила подстановки.