It is not the case that Davidson's truth-theoretic semantics requires axioms that pair expressions with extensions, but extensions (sets of possible satisfiers) implicitly invoke intensional distinctions to handle modal and attitude contexts.
?Set your confidence on the premises below to see your aggregate.