¿Qué es lo que una semántica de teoría de modelos no puede hacer? - Le Pore, Ernest (1983)