(logic) A Kripke frame together with either one of the following: (1) a function associating each of the frame's worlds to a set of prime formulae which are "true" for the given world, (2) a function associating each prime formula to a set of worlds for which the prime formula is "true", (3) a forcing relation between worlds and prime formulae. Additionally, there is a set of rules for deducing (from the given function or relation) what formulae are forced to be true by a given world. (The set of rules depends on which logic the Kripke model is being applied to, whether one of several modal logics or intuitionistic logic).

plural of modest proposal

(idiomatic) An idea which is especially extreme, unorthodox or distasteful, often put forward in jest. / Used other than figuratively or idiomatically: see modest, proposal.

(biology) A theory relating to a series of actions by the actin and myosin filaments that enable the muscle to undergo contraction.

(transitive, obsolete) To newmodel.

an abstract conceptual representation of structured data

(particle physics) A theory about the electromagnetic, weak, and strong nuclear interactions that mediate the dynamics of the known subatomic particles.

(Internet) The set of CSS rules that govern the size, shape, spacing, borders, and margins of web page elements.

plural of model-view-controller

(software architecture) A type of computer user interface that separates the representation of information from the user's interaction.