Published package / CLIR
logic.deontic
v0.1.0Стандартная деонтическая логика SDL: явно названная формализация, связь с KD, обязанность, разрешение, запрет, границы модели
Imports
| Package | Version | contentHash of the edge | |
|---|---|---|---|
| logic.calculi | 0.1.0 | sha256:0388c7183d4e… | |
| logic.core | 0.1.0 | sha256:76c336ef0ac3… | |
| logic.modal | 0.1.0 | sha256:e27e72c4ea8c… | |
| logic.semantics | 0.1.0 | sha256:ce5576f4f766… | |
| logic.syntax | 0.1.0 | sha256:aa44d5553d6d… |
An edge is pinned by contentHash, not by a version name: the world of a program is closed by the lock. The mark “diverged from the bytes” means the dependency hash recorded in the package did not match its current bytes — the arrow is there, but it has gone stale.
Packages importing this one
Nobody.