“decreasing domain”的概念、定义、翻译、参考文献-科学参考

decreasing domain

Logic

Describes first-order Kripke models for modal logic in which the domains of quantification of the possible worlds are anti-monotonic, that is, for any possible world $w$ and $w^{'}$ with domains $D_{w}$ and $D_{w^{'}}$ , the following condition holds:
If $w R w^{'}$ then $D_{w^{'}} \subseteq D_{w} .$
The class of decreasing domain Kripke models for a normal modal logic corresponds to the validity of the Barcan formula
- • $\forall x □ φ (x) \to □ \forall x φ (x)$
Decreasing domains may be contrasted with the notion of an increasing domain; both are special cases of variable domain models.

单词	decreasing domain
释义	decreasing domain Logic Describes first-order Kripke models for modal logic in which the domains of quantification of the possible worlds are anti-monotonic, that is, for any possible world $w$ and $w^{'}$ with domains $D_{w}$ and $D_{w^{'}}$ , the following condition holds: If $w R w^{'}$ then $D_{w^{'}} \subseteq D_{w} .$ The class of decreasing domain Kripke models for a normal modal logic corresponds to the validity of the Barcan formula • $\forall x □ φ (x) \to □ \forall x φ (x)$ Decreasing domains may be contrasted with the notion of an increasing domain; both are special cases of variable domain models.
随便看	catch-up cat cracker catechol catecholamine categorematic categorial grammar categorical data categorical data analysis categorical/hypothetical imperative categorical proposition categorical variable categories category category error category mistake catena catenane catenary catenation cateniform catenin catenoid Cathar catharsis cathepsins