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

1. Селективные подмодели Крипке. Квазиканонические логики.
2. Аксиомы ограниченной альтернативы, их условия общезначимости.
3. Квазиканоничность предикатных логик с аксиомами ограниченной альтернативы.
4. Порожденные подмодели, их селективность. Порожденные подшкалы Крипке, сохранение общезначимости.
5. Каноническая модель расширения модальной логики.
6. Сохранение квазиканоничности при добавлении 0-пропозициональных аксиом.