Logical methods for design and analysis of choice models

The logical methods use representations of choice functions and choice models by means of formulas of some logic language. The design and research problems for choice models are reduced to formal transformations and analysis of the presentations. The logical methods make it possible to solve a wide range of constructive problems associated with a design, an analysis, simplifications, and estimations of complexity for formal choice models. They allow to use to choice models the Shannon–Yablonsky–Lupanov methodology developed for investigation of computing systems. The article systematizes obtained at different times and published in different editions the author's results on a study of choice models by logical methods. Results of other authors concerning the topics are brought, also.