Common use of Semantics Clause in Contracts

Semantics. The definition below mimics the usual semantics of formulas in Kripke models, reformulated here in terms of simplicial models:

Appears in 2 contracts

Sources: Approximate Agreement, Approximate Agreement