Registry · Definition VII.D33 tau-effective formalized

VII.D33 — τ-Modal Operators

Necessity is invariance under all admissible transformations; possibility is admissible extension; modal logic grounded in structure.

Book VII Part 2 Ch. 25

Dependency Graph

Depended on by (1)

VII.T13

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.TauModalOperators