 compositionality |  game theory |  generalized quantifiers |  logic: and games |  logic: classical |  logic: dependence |  logic: dialogical |  logic: epistemic |  logic: intensional |  logic: intuitionistic |  logic: modal |  logic: second-order and higher-order |  model theory |  reasoning: automated |  set theory |  Tarski, Alfred: truth definitions 