There are a great many of various non-classical logics, which are applied in the foundations of mathematics, computer science, linguistics and philosophy. They may be given by means of semantics, and one and the same logic may have different semantics, each of which emphasizes some intuition behind the logic and its applications. Naturally, with every logic we can associate a number of decision problems, such as those of validity, satisfiability, etc. These problems may be algorithmically decidable or undecidable, and one may further examine their degrees of decidability (say, using polynomial-time reducibility) or undecidability (say, in terms of many-one degrees). On the other hand, some logical calculi can be used to characterize certain complexity classes.

The workshop Semantical and Computational Aspects of Non-Classical Logics 2023 (SCAN 2023) is devoted to the semantical and computational aspects of non-classical logics. It aims at providing early career scientists and experienced researchers with an opportunity to present their work and to discuss related open problems. The programme will comprise several keynote talks and around fifteen contributed talks.

SCAN 2023 will be held at Steklov Mathematical Institute in Moscow. Note that online participation (via Zoom) will also be possible.

All those who wish to attend SCAN 2023 need to fill in the registration form.

Program

Рoster

Abstracts

Program Committee
Artemov Sergei Nikolaevich
Kanovich Max
Kuznetsov Stepan Lvovich
Odintsov Sergei Pavlovich
Shehtman Valentin Borisovich
Speranski Stanislav Olegovich

Organizing Committee
Kuznetsov Stepan Lvovich
Speranski Stanislav Olegovich

Financial support
The event is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, agreement no. 075-15-2022-265).

Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center