The logic of provability
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | неизвестный язык английский |
| Опубликовано: |
Cambridge University Press
1993
|
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Оглавление:
- Preface--Introduction--GL and other systems of propositional modal logic--Peano arithmetic--The box as Bew(x)--Semantics for GL and other modal logics--Completeness and decidability of GL and K, K4, T, B, S4 and S5--Canonical models--On GL---The fixed poi