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

increasing domain

Logic

Describes a first-order Kripke model for modal logic in which the domain of any possible world $w$ is a subset of any world $w^{'}$ accessible from $w$ , i.e., in which the domains are monotonic. Formally, where $D_{w}$ represents the domain of individuals of a world $w$ , this is represented by the semantic condition:
If $w R w^{'}$ then $D_{w} \subseteq D_{w^{'}} .$
For normal first-order modal logics, the semantic condition of increasing domains corresponds to the validity of the converse Barcan formula
- • $□ \forall x φ (x) \to \forall x □ φ (x)$
Increasing domain models are special cases of variable domain models.

单词	increasing domain
释义	increasing domain Logic Describes a first-order Kripke model for modal logic in which the domain of any possible world $w$ is a subset of any world $w^{'}$ accessible from $w$ , i.e., in which the domains are monotonic. Formally, where $D_{w}$ represents the domain of individuals of a world $w$ , this is represented by the semantic condition: If $w R w^{'}$ then $D_{w} \subseteq D_{w^{'}} .$ For normal first-order modal logics, the semantic condition of increasing domains corresponds to the validity of the converse Barcan formula • $□ \forall x φ (x) \to \forall x □ φ (x)$ Increasing domain models are special cases of variable domain models.
随便看	optical computing optical continuity optical density optical depth optical disk optical disk library optical double optical electronics optical emission spectroscopy optical emission spectrum optical fibre optical flat optical flow optical font optical glass optical goniometry optical indicatrix optical interferometer optical isomers optical lattice optical lattice clock optical lever optical libration optical mark reading optical maser