SMS: Sémantique et logique