Опубликованный пакет / CLIR
logic.deontic
v0.1.0Стандартная деонтическая логика SDL: явно названная формализация, связь с KD, обязанность, разрешение, запрет, границы модели
Стандартная деонтическая логика SDL: авторское изложение
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| Стандартная деонтическая логика SDL: авторское изложение — редакция репозитория | ru | нет | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.