34 Основные свойства модальных логик
Свойства модальных логик:
- монотонность штопора
- компактность штопора
- корректность штопора
- полнота штопора (относительно соответствующих моделей Крипке)
- теорема о дедукции без правила усиления
Вложение логики Int в логики S4 и GL.
И кое-что про арифметику.
3 weeks ago 00:00:30 1
3 weeks ago 00:34:07 9
4 weeks ago 00:00:09 3
4 weeks ago 00:19:26 9
4 weeks ago 03:23:16 3
4 weeks ago 02:28:59 72
4 weeks ago 02:15:49 694
4 weeks ago 00:00:52 6
4 weeks ago 00:42:29 19
4 weeks ago 00:39:37 20
4 weeks ago 00:01:55 44
4 weeks ago 02:40:41 15
4 weeks ago 00:01:23 1
4 weeks ago 00:33:28 3
4 weeks ago 00:00:51 1
4 weeks ago 00:09:22 849
4 weeks ago 00:40:26 1
4 weeks ago 04:28:15 19
4 weeks ago 00:04:16 1
4 weeks ago 00:03:56 597
4 weeks ago 00:44:26 4
4 weeks ago 00:41:53 42
4 weeks ago 00:48:19 10
4 weeks ago 00:00:33 1