 This tradition shares the game-theoretical tenets of dialogical logic for logical constants, but switches to standard model theory at the level of elementary statements, for which standard truth-functional formal semantics comes into play.