Analysis of the intensity of post-vaccination immunity to acute respiratory viral infections of cattle

Of the acute respiratory viral infections in the farms of the Udmurt Republic, parainfluenza-3, respiratory syncytial infection, infectious rhinotracheitis, viral diarrhea are the most common. For the prevention of these cattle diseases, the inactivated combined vaccine Kombovak and Kombovak R. is used. Despite the widespread use of this vaccine, there is an ambiguous situation in the farms of UR and the percentage of ARVI incidence is extremely variable. Along with general economic factors, this can be explained using different schemes for the use of the vaccine. The work was carried out in the conditions of an industrial livestock complex located in the Uvinsky district of the Udmurt Republic. During the period of the work, 1,383 heads of cattle vaccinated with the Kombovak-R vaccine were monitored. Laboratory tests were carried out in the BI UR "Udmurt Veterinary Diagnostic Center" in the city of Izhevsk and LLC "Independent Veterinary Laboratory "Chance-Bio" in the city of Moscow. Determination of immunity intensity and retrospective serological diagnosis of ARVI was carried out by examining paired blood serum samples. Blood serum samples were taken from clinically healthy cows at the 6th month of pregnancy, i.e. at the end of the inter-vaccination period, as well as from unvaccinated calves with a live weight of 50-55 kg at the age of 17-18 days and after 21 days, respectively. When studying the preservation of post-vaccination immunity in cows, it was found that only two out of five studied animals have a protective level of antibodies to acute respiratory viral infections by the end of the inter-vaccination period. Serological screening of calves showed that antibodies to the pathogens of IRT, VD, RSI and PI-3 were determined in all samples. nevertheless, the titers of antibodies to ARVI pathogens differed significantly

A note on extensions: admissible rules via semantics

Any intermediate logic with the disjunction property admits the Visser rules if and only if it has the extension property. This equivalence restricts nicely to the extension property up to n. In this paper we demonstrate that the same goes even when omitting the rule ex falso quod libet, that is, working over minimal rather than intuitionistic logic. We lay the groundwork for providing a basis of admissibility for minimal logic, and tie the admissibility of the Mints-Skura rule to the extension property in a stratified manner

The mu-calculus and Model Checking

International audienceThis chapter presents a part of the theory of the mu-calculus that is relevant to the, broadly understood, model-checking problem. The mu-calculus is one of the most important logics in model-checking. It is a logic with an exceptional balance between expressiveness and algorithmic properties. The chapter describes in length the game characterization of the semantics of the mu-calculus. It discusses the theory of the mu-calculus starting with the tree model property, and bisimulation invariance. Then it develops the notion of modal automaton: an automaton-based model behind the mu-calculus. It gives a quite detailed explanation of the satisfiability algorithm, followed by the results on alternation hierarchy, proof systems, and interpolation. Finally, the chapter discusses the relations of the mu-calculus to monadic second-order logic as well as to some program and temporal logics. It also presents two extensions of the mu-calculus that allow us to address issues such as inverse modalities