SMS: Modal logics