Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023) (June 13–17, 2023, Hybrid Format (MI RAS + Zoom))
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).
![Steklov Mathematical Institute of Russian Academy of Sciences](/logos/mian.png)
Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow Steklov International Mathematical Center |
|
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023), June 13–17, 2023 |
|
|
June 13, 2023 (Tue) |
![](/gifs/1pts.gif) |
1. |
Constructive interpretations of logical and logical-mathematical languages Valeri Plisko June 13, 2023 10:00–11:30, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
2. |
On the quantified version of the Belnap-Dunn modal logic and some extensions of it A. V. Grefenshtein June 13, 2023 12:00–12:30, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
3. |
Mezhirov's game for intuitionistic logic and its variations Ivan Pyltsyn June 13, 2023 12:30–13:00, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
4. |
Some remarks on well-structured transition systems Nikolay Shilov June 13, 2023 15:00–15:30, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
5. |
Dynamic epistemic logic for budget-constrained agents Vitaliy Dolgorukov, Maksim Gladyshev June 13, 2023 15:30–16:00, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
6. |
Multi-agent modal logic and uncertain information Vladimir Rybakov June 13, 2023 16:00–16:30, Hybrid Format (MI RAS + Zoom)
|
|
|
|
|
|
June 14, 2023 (Wed) |
![](/gifs/1pts.gif) |
7. |
Logic of combinatory logic Silvia Ghilezan June 14, 2023 10:00–11:30, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
8. |
Nonassociative intuitionistic multiplicative exponential linear logic and its extension Yiheng Wang, Xue Ge, Zhe Lin June 14, 2023 12:00–12:30, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
9. |
Some algebraic semantics for superintuitionistic first-order logics Stepan G. Kuznetsov June 14, 2023 12:30–13:00, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
10. |
Tiling problems and complexity of logics Mikhail Rybakov, Darya Serova June 14, 2023 15:00–15:30, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
11. |
What do 'evidence' and 'truth' mean in the logics of evidence and truth Abilio Rodrigues June 14, 2023 15:30–16:00, Zoom
|
|
|
|
|
|
June 15, 2023 (Thu) |
![](/gifs/1pts.gif) |
12. |
Operations on non-deterministic matrices and their use Arnon Avron June 15, 2023 10:00–11:30, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
13. |
Many-dimensional modal logics for neighborhood semantics Andrey Kudinov June 15, 2023 12:00–12:30, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
14. |
On modal fragments of some tense logics Oleg Grigoriev June 15, 2023 12:30–13:00, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
15. |
Completeness of the logic HC in a special space Anastasiia Onoprienko June 15, 2023 15:00–15:30, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
16. |
Algebraic semantics for hypergraph Lambek calculus Tikhon Pshenitsyn June 15, 2023 15:30–16:00, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
17. |
Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs Pavel Razumnyy, Daniyar Shamkanov June 15, 2023 16:30–17:00, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
18. |
Temporal epistemic logic for reasoning with delay in awareness Elena Popova June 15, 2023 17:00–17:20, Hybrid Format (MI RAS + Zoom)
|
|
|
|
![](/gifs/1pts.gif) |
19. |
Conservative translations for non-deterministic semantics Marta Fiori Carones June 15, 2023 17:20–17:40, Hybrid Format (MI RAS + Zoom)
|
|
|
|
|
|
June 16, 2023 (Fri) |
![](/gifs/1pts.gif) |
20. |
Computational complexity of theories of residuated structures Dmitry Shkatov June 16, 2023 10:00–11:30, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
21. |
Involutive commutative residuated lattice without unit: logics and decidability Yiheng Wang, Zhe Lin June 16, 2023 12:00–12:30, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
22. |
On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics Mikhail Rybakov, Dmitry Shkatov June 16, 2023 12:30–13:00, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
23. |
Experimental prover for Tope logic Nikolai Kudasov June 16, 2023 15:00–15:30, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
24. |
Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames Irina Agadzhanian, Mikhail Rybakov, Dmitry Shkatov June 16, 2023 15:30–16:00, Zoom
|
|
|
|
|
|
June 17, 2023 (Sat) |
![](/gifs/1pts.gif) |
25. |
Making sense of mixed consequence relations Hitoshi Omori, Jonas Becker Arenhart June 17, 2023 16:00–16:30, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
26. |
The structural definition of logical negation through the doubly negated propositions Antonino Drago June 17, 2023 16:30–17:00, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
27. |
The potentialities of non-standard theories of probabilty Walter Carnielli June 17, 2023 17:30–19:00, Zoom
|
|
|
|
![](/gifs/1pts.gif) |
|