First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been invo...

A Lattice Boltzmann method is applied to demonstrate the comparison results of simulating natural convection in an open end cavity using different hydrodynamic and thermal boundary conditions. The Prandtl number in the present simulation is 0.71, Rayleigh numbers are 104,105 and 106 and viscosities are selected 0.02 and 0.05. On-Grid bounce-back method with first-order accuracy and non-slip met...

In a previous paper (Nie et al. in JHEP 1311:087, arXiv:1309.2204 [hep-th], 2013), we presented a holographic s + p superconductor model with a scalar triplet charged under an SU(2) gauge field in the bulk. We also study the competition and coexistence of the s-wave and p-wave orders in the probe limit. In this work we continue to study the model by considering the full back-reaction. The model...

vengeance is developed in order to oblige the debtors to return their debts and to support those creditors who, for administration of justice, cannot deliver any acceptable document to the machinery of justice. the exercise of vengeance is applicable, sometimes by taking back the corpus of usurped property and some other times by taking an intervenient exchange. religious jurists have different...