Опубликованный пакет / CLIR
logic.deontic
v0.1.0Стандартная деонтическая логика SDL: явно названная формализация, связь с KD, обязанность, разрешение, запрет, границы модели
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| Стандартная деонтическая логика SDL: авторское изложение | LOGIC-DEONTIC-RESTATEMENT-1 | 1 | 9 |