Bound variables 4 Flattening operator 4 Formal Semantics 4 Game theory 4 Independence friendly logic 4 Modal logic 4 Semantics 4 Abstracting 3 Classical logic 3 Compositional semantics 3 Expressive power 3 Formal logic 3 Formal methods 3 Full abstraction 3 Linguistics 3 Regular formulas 3 Signaling 3 Valuation 3 Biomineralization 2 Computational linguistics 2 Computer circuits 2 Logical language 2 Modal language 2 Satisfiability 2 Second-order logic 2 Automata theory 1 Bisimulations 1 Boolean functions 1 Calculations 1 Canning 1