 compositionality |  logic: and games |  logic: dependence |  logic: independence friendly |  logic: infinitary |  logic: intuitionistic |  logic: second-order and higher-order |  logic: temporal |  meaning, theories of |  model theory |  model theory: first-order |  Tarski, Alfred |  truth |  truth: axiomatic theories of |  truth: deflationation about |  truth: revision theory of 