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