Registry · Definition VII.D63 tau-effective formalized

VII.D63 — Accessibility Morphism

Morphisms between possible worlds encoding accessibility relations; different modal systems from different constraints.

Book VII Part 6 Ch. 73

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.AccessibilityMorphism