The methodology, language and tools for rapid development of logic models of systems and processes are proposed. Language is defined in the first-order predicate calculus with equality and a representation of negatives, modules, discrete time intervals. The proposed computable mathematical semantics allows to construct interpreters whose complexity is O(nlogn) relative to the power of models. Interpretations result is a model derivated from the logical specification of objects by direct inference. The model can be used as a working prototype of the system. The technology is designed to address a wide range of problems of language analysis, projects, processes, development of training and expert systems.
Keywords: logical model, predicate calculus, logical mistakes, logical semantics, analysis, interpreter