In the present volume we continue to get the readers acquainted with the logical legacy of Byzantine thinkers. The logical ideas of XII century orator and scholar Theodore Prodromos, which he expressed in the treatise "On Great and Small", are investigated in the paper by O. Goncharko, Ya. Slinin and D. Chernoglazov.

An original outlook of Aristotle's ontological square is presented in the paper by V. Dolgorukov and A. Kopylova. Type-theoretical analysis of universals and particulars, substances and accidents allows for better understanding of Aristotle's metaphysical views and their connection to the basic concepts of modern logic.

In June 2018 the first online workshop with the participation of foreign logicians was held. Prof. N. Alechina from University of Nottingham, Great Britain, delivered a report. The report was devoted to assessment of verification complexity in models of formulas in special epistemic coalition logic. This work lies in line with the rising trend of Social Software and may be of interest to many logicians.

Moreover, the volume presents extended versions of reports delivered at the First Congress of RSHPS in September 2018.

Published: 10.10.2018

### Theodoros Prodromos’ logical works: “On the great and the small”

O. Yu. Goncharko, Ya. A. Slinin, D. A. Chernoglazov

11-35

### The “ontological square” and modern type theories

V. V. Dolgorukov, A. O. Kopylova

36-58

N.A. Alechina

59-69

A. S. Bobrova

70-77

V. L. Vasyukov

78-84

L. Yu. Devyatkin

85-91

### From determinism to quasideterminism in logic and beyond logic

V. Yu. Ivlev, Yu. V. Ivlev

92-99

E. B. Kuzina

100-107

V. I. Markin

108-115

Ya. I. Petrukhin

116-122

N. N. Prelovskiy

123-128

A. V. Titov

129-136

N. E. Tomova

137-143

### Logic and theory of science in the 19th century philosophy

Yu. Yu. Chernoskutov

144-150

V. I. Shalack

151-157

T. A. Shiyan

158-166