SMS: Logics for linguistic structures