m.E. macht nicht das zugrunde gelegte Modell eine Logik aus, sondern die zugelassenen Schlussregeln. Klassische Logik ist damit nicht automatisch zweiwertig, es gibt durchaus auch mehrwertige klassische Logiken. Die enge Verbundenheit der klassischen Logik mit zweiwertigen Modellen drückt sich m.E. vielmehr dadurch aus, dass sie bezüglich der zweiwertigen Modelle vollständig ist.