“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.
随便看	DRAM Draper, Henry Draper, Henry (1837–82) Draper, John William Draper, John William (1811–82) draughts-playing programs dravite dravya DRAW drawdown drawer attack drawing rights drawtube DRC DRCS DRDW dread dreams Dred Scott decision (1857) D-region Dreikaiserbund dreikanter Dresbachian Dresden raid (February 1945) Dreyer, Johan Ludvig Emil (1852–1926)