An overview of methods of formal explication of meaning: the extensional model of language, intensional model, hyperintensional and dynamic models.
