# The Journal "Logical Investigations"

Is a scientific-research journal on logic. The edition is unique, because it is the only periodical on Logic in Russia known abroad. The journal publishes well-known domestic and foreign authors (in Russian and English), which received important results in various areas of modern logic. Each issue of "Logical Investigations" is abstracted in the main International Review Journals "Mathematical Review" and "Zentralblatt MATH", which allows the global community of logicians to become familiar with the state of research in logic conducted in Russia.

Vol 27 No 2 (2021)

This issue presents works related to philosophical and non-classical logics, and to the history of logic.M. Legeido introduces the reader to intensional semantics for some systems of positive syllogism. V. Markin draws attention to the use of existence judgements in the past and analyses their connection with syllogistics. V. Shalak, in continuation of the work on procedural ontology, highlights its elements which can be used in the construction of the corresponding logic. L. Devyatki and N. Tomova publish new results concerning the expressive possibilities of parapoinconsistent and parapole logics, as well as the criteria of paranormality. The result of M. Rybakov and D. Shkatov consists in proving the insolubility of two logics in a language with a single singular predicate symbol, two variables and a temporal operator. The article of I. Annelis and V. Bazhanov deals with the image of Russian logic and logicians in the West in the second half of the last century. The issue closes with the first part of a detailed analytical review of temporal logic systems, compiled by O. Grigoriev.

Published: 19.12.2021

Maria M. Legeydo

9-30

31-47

48-65

### On the expressive power of maximally paraconsistent and paracomplete expansions of FDE

Leonid Yu. Devyatkin

66-92

### Undecidability of QLTL and QCTL with two variables and one monadic predicate letter

Mikhail Rybakov, Dmitry Shkatov

93-120

### О критерии паранормальности для $n$-значных логических матриц

Natalya E. Tomova

121-132

### Image of Soviet and Russian logic in the West. Latter Half of the XXth Century

Valentin A. Bazhanov, Irving H. Anellis

133-152

### Systems of temporal logic: moments, histories, trees

Oleg M. Grigoriev

153-184