Published package / CLIR
logic.deontic
v0.1.0Стандартная деонтическая логика SDL: явно названная формализация, связь с KD, обязанность, разрешение, запрет, границы модели
| Work | Number | Editions | Fragments |
|---|---|---|---|
| Стандартная деонтическая логика SDL: авторское изложение | LOGIC-DEONTIC-RESTATEMENT-1 | 1 | 9 |