The present volume is devoted to the 'Open Russian-Finnish Colloquium on Logic' (ORFIC), held at the Saint-Petersburg State University, on June 14-16, 2012. Among the participants there were such prominent Finnish logicians as Jaakko Hintikka, Ilkka Niiniluoto and Gabriel Sandu. The volume covers the most interesting results recently obtained in different areas of research in logic. The volume is of interest to everyone concerned in modern logic.

Опубликован: 09.04.2013

Preface

А.С. Карпенко

5-9

First-order logics of branching time

Е.А. Котикова, М.Н. Рыбаков

68-99

Syntax and semantics of simple paracomplete logics

В.М. Попов, В.О. Шангин

325-333