34 Основные свойства модальных логик
Свойства модальных логик:
- монотонность штопора
- компактность штопора
- корректность штопора
- полнота штопора (относительно соответствующих моделей Крипке)
- теорема о дедукции без правила усиления
Вложение логики Int в логики S4 и GL.
И кое-что про арифметику.
1 hour ago 00:00:00 2.3K
7 hours ago 01:26:11 1.4K
9 hours ago 00:01:03 1
9 hours ago 02:11:31 17
10 hours ago 00:38:40 69
10 hours ago 00:37:03 11
11 hours ago 03:09:16 15.4K
12 hours ago 00:11:44 1
12 hours ago 02:32:13 1
12 hours ago 00:00:15 24
13 hours ago 02:52:48 59
14 hours ago 00:22:35 11.5K
14 hours ago 00:10:07 13
19 hours ago 00:01:23 1
19 hours ago 00:18:59 1.2K
19 hours ago 00:22:35 3.9K
22 hours ago 03:32:20 104
24 hours ago 00:01:23 1
1 day ago 00:01:23 1
1 day ago 00:01:23 1
1 day ago 00:08:26 3
1 day ago 00:12:50 1
1 day ago 00:01:17 12
1 day ago 00:25:46 120