Конференции
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  

Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
(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.

Website: https://scan2023.mi-ras.ru

Программа

Постер

Доклады

Программный комитет
Артемов Сергей Николаевич
Канович Макс Иосифович
Кузнецов Степан Львович
Одинцов Сергей Павлович
Сперанский Станислав Олегович
Шехтман Валентин Борисович

Организационный комитет
Кузнецов Степан Львович
Сперанский Станислав Олегович

Финансовая поддержка
Мероприятие проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2022-265).


Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)


Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023), 13–17 июня 2023 г.

13 июня 2023 г. (вт)
1. Constructive interpretations of logical and logical-mathematical languages
Valeri Plisko
13 июня 2023 г. 10:00–11:30, Hybrid Format (MI RAS + Zoom) 		Valeri Plisko
  
2. On the quantified version of the Belnap-Dunn modal logic and some extensions of it
A. V. Grefenshtein
13 июня 2023 г. 12:00–12:30, Hybrid Format (MI RAS + Zoom) 		A. V. Grefenshtein
  
3. Mezhirov's game for intuitionistic logic and its variations
Ivan Pyltsyn
13 июня 2023 г. 12:30–13:00, Hybrid Format (MI RAS + Zoom) 		Ivan Pyltsyn
  
4. Some remarks on well-structured transition systems
Nikolay Shilov
13 июня 2023 г. 15:00–15:30, Hybrid Format (MI RAS + Zoom) 		Nikolay Shilov
  
5. Dynamic epistemic logic for budget-constrained agents
Vitaliy Dolgorukov, Maksim Gladyshev
13 июня 2023 г. 15:30–16:00, Hybrid Format (MI RAS + Zoom) 		Vitaliy Dolgorukov, Maksim Gladyshev
  
6. Multi-agent modal logic and uncertain information
Vladimir Rybakov
13 июня 2023 г. 16:00–16:30, Hybrid Format (MI RAS + Zoom) 		Vladimir Rybakov
  

14 июня 2023 г. (ср)
7. Logic of combinatory logic
Silvia Ghilezan
14 июня 2023 г. 10:00–11:30, Zoom
  
8. Nonassociative intuitionistic multiplicative exponential linear logic and its extension
Yiheng Wang, Xue Ge, Zhe Lin
14 июня 2023 г. 12:00–12:30, Zoom
  
9. Some algebraic semantics for superintuitionistic first-order logics
Stepan G. Kuznetsov
14 июня 2023 г. 12:30–13:00, Zoom
  
10. Tiling problems and complexity of logics
Mikhail Rybakov, Darya Serova
14 июня 2023 г. 15:00–15:30, Zoom
  
11. What do 'evidence' and 'truth' mean in the logics of evidence and truth
Abilio Rodrigues
14 июня 2023 г. 15:30–16:00, Zoom
  

15 июня 2023 г. (чт)
12. Operations on non-deterministic matrices and their use
Arnon Avron
15 июня 2023 г. 10:00–11:30, Hybrid Format (MI RAS + Zoom)
  
13. Many-dimensional modal logics for neighborhood semantics
Andrey Kudinov
15 июня 2023 г. 12:00–12:30, Hybrid Format (MI RAS + Zoom)
  
14. On modal fragments of some tense logics
Oleg Grigoriev
15 июня 2023 г. 12:30–13:00, Hybrid Format (MI RAS + Zoom)
  
15. Completeness of the logic HC in a special space
Anastasiia Onoprienko
15 июня 2023 г. 15:00–15:30, Hybrid Format (MI RAS + Zoom)
  
16. Algebraic semantics for hypergraph Lambek calculus
Tikhon Pshenitsyn
15 июня 2023 г. 15:30–16:00, Hybrid Format (MI RAS + Zoom)
  
17. Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs
Pavel Razumnyy, Daniyar Shamkanov
15 июня 2023 г. 16:30–17:00, Hybrid Format (MI RAS + Zoom)
  
18. Temporal epistemic logic for reasoning with delay in awareness
Elena Popova
15 июня 2023 г. 17:00–17:20, Hybrid Format (MI RAS + Zoom)
  
19. Conservative translations for non-deterministic semantics
Marta Fiori Carones
15 июня 2023 г. 17:20–17:40, Hybrid Format (MI RAS + Zoom)
  

16 июня 2023 г. (пт)
20. Computational complexity of theories of residuated structures
Dmitry Shkatov
16 июня 2023 г. 10:00–11:30, Zoom
  
21. Involutive commutative residuated lattice without unit: logics and decidability
Yiheng Wang, Zhe Lin
16 июня 2023 г. 12:00–12:30, Zoom
  
22. On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics
Mikhail Rybakov, Dmitry Shkatov
16 июня 2023 г. 12:30–13:00, Zoom
  
23. Experimental prover for Tope logic
Nikolai Kudasov
16 июня 2023 г. 15:00–15:30, Zoom
  
24. Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames
Irina Agadzhanian, Mikhail Rybakov, Dmitry Shkatov
16 июня 2023 г. 15:30–16:00, Zoom
  

17 июня 2023 г. (сб)
25. Making sense of mixed consequence relations
Hitoshi Omori, Jonas Becker Arenhart
17 июня 2023 г. 16:00–16:30, Zoom
  
26. The structural definition of logical negation through the doubly negated propositions
Antonino Drago
17 июня 2023 г. 16:30–17:00, Zoom
  
27. The potentialities of non-standard theories of probabilty
Walter Carnielli
17 июня 2023 г. 17:30–19:00, Zoom
  
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024