Опубликованный пакет / CLIR
logic.modal
v0.1.0The Open Logic Text
The Open Logic Text
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| content/normal-modal-logic/axioms-systems/derived-rules.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/axioms-systems/normal-logics.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/axioms-systems/systems-distinct.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/completeness/frame-completeness.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/frame-definability/definability.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/frame-definability/equivalence-S5.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/frame-definability/frames.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/frame-definability/properties-accessibility.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/syntax-and-semantics/language-modal-logic.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/syntax-and-semantics/modal-validity.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/syntax-and-semantics/normal-modal-logics.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/syntax-and-semantics/relational-models.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.