Extending states on finite concrete logics