added ILogicModelSearcher for resolving models by their key or value (value not implemented yet)