Flattening operator 4 Independence friendly logic 4 Abstracting 3 Bound variables 3 Classical logic 3 Compositional semantics 3 Formal Semantics 3 Formal methods 3 Full abstraction 3 Game theory 3 Regular formulas 3 Semantics 3 Signaling 3 Valuation 3 Computer networks 1 Expressive power 1 Formal logic 1 Imperfect information 1 Imperfect information logic 1 Second order logic 1 Second-order logic 1 Systems science 1