On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics

We obtain poly-time embeddings of the intuitionistic modal logics FS and MIPC into their positive one-variable fragments.Comment: Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13-17, 2023), Steklov International Mathematical Center, Moscow, 202

Preliminary results of investigation of solid interplanetary matter in the vicinity of the moon

Density of matter near moon found to be greater than that of interplanetary spac

Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames

The paper investigates algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames or classes of finite Kripke frames. Precise complexity bounds for monadic logics of classes of Kripke frames with finitely many possible worlds are obtained.Comment: Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13-17, 2023), Steklov International Mathematical Center, Moscow, 202

Electromagnetic levitation system

Magnetism is a physical phenomenon produced by the motion of electric charge, resulting in attractive and repulsive forces between objects. It is widely adopted in many spheres of our routine life. By using the effect of magnetism, it has become possible to create non-frictional bearings, contact-free shock absorbers and many things, which found their appliance in industrial usage. There are many great inventions connected with magnets, such as the train on the air cushion (Maglev train). Maglev stands for magnetic levitation, a principle that allows keeping an object in midair. This technology has a great potential, however there are always things, which need to be improved, for instance reduction of disturbance and lowering of the price

The pipeline oil pumping engineering based on the Plant Wide Control technology

This article provides recommendations for the use technology Plant Wide Control to control the pumping of oil through the pipeline. The proposed engineering using pipeline management in general (Pipe Wide Control) will reduce the loss of electric power at the expense of the balance of pumping stations located along the pipeline route

Percolation model of combustion

Strong dependencies in equations cause dramatic boost of reaction rates in some rare but meaningful areas of a combustion gap. That leads to intermittent behavior of some values and for these reasons averaging approaches in calculations are not relevant. We use percolation theory instead in order to explain ignition delay and completeness of combustion

1,10-diaza-18-crown-ether, modified by phosphonate pendant arms - Synthesis, structure, and picrate extraction properties

Reaction of O,O′-diisopropyl-3-methyl-1,2-butadienylphosphonate with 1,10-diaza-18-crown-6 in the presence of a catalytic amount of iPrONa leads to the new crown-ether derivative, containing phosphonate pendant arms (L). The structure of the compound obtained was investigated by single crystal X-ray diffraction analysis, IR, 1H and 31P{1H} NMR spectroscopy, and microanalysis. In the crystal structure the side arms of L are in an anti disposition relative to the macrocyclic cavity. It was established that phosphorylation of 1,10-diaza-18-crown-6 by allenylphosphonate results in an increase of extraction of NaPic and KPic, whereas LiPic and NH4Pic are extracted practically in the same level. © 2008 Wiley-VCH Verlag GmbH & Co. KGaA