8/12 Introducing Variable Modalities The language is extended in two ways: Modal formulas: The dual variable modalities are defined as: propositional variables: p 0, p 1, … constant modalities: ¤ 1,…, ¤ m propositional constants: A 1,…, A n variable modalities: ¡ 0, ¡ 1, …
{}