The Ukrainian Logic Society announces the contest for young scientists.
1) The Prize will be awarded every three years.
2) Contestants should submit an unpublished paper (between 10 and 30 pages) in any area of logic, written in English. The paper should have at most two authors (both young scientists).
3) The jury cosists of Ukrainian researchers from different regions of the country who represent various areas of logic.
4) The prize, besides being an honor, will support the winner's participation in the World Congress of Universal Logic and the publication of the paper in the Logica Universalis journal, Birkhauser. The prize is a part of the project A PRIZE OF LOGIC IN EVERY COUNTRY.
5) Contestants must be from 18 to 35 years old. Contestants should live in Ukraine and be affiliated with a university (or other educational institution) in Ukraine.
6) Competition jury is formed together with the announcement of each contest.
7) Competitors papers should be presented during the World Logic Day on January 14.
ukraine.logic.society@gmail.com
The Ukrainian Logic Society announces the contest for scientists.
1. Contestants should submit an unpublished paper (between 10 and 30 pages) in any area of logic, written in English. The paper should have at most two authors.
2. The jury consists of Ukrainian researchers from different regions of the country who represent various areas of logic.
3. The prize, besides being an honor, will support the publication of the paper in the Logica Universalis journal, Birkhauser. The prize is a part of the project the World Logic Prizes Contest.
4. Contestants should have Ukrainian citizenship and be affiliated with a university (or other educational institution) in Ukraine.
5. Jury of the logic contest:
6. Deadline for paper submission: August 01, 2025. The paper and the author’s CV with a list of publications should be sent to ukraine.logic.society@gmail.com.
Ukrainian Logic Society in April 2025 announced the logic contest and formed a Jury consisting of:
In August 2025 the Chairman of the Jury Prof. Anatoliy Petravchuk announced the results of The Ukrainian Logic Society Contest:
the Winner was declared Dr. Gennady Shtakser for the paper «A Hybrid Multi-Modal Logic for Context-Dependent Preferences».
Our congratulations to Dr. Gennady Shtakser!
Abstract of the paper:
We introduce a hybrid multi-modal logic Λ for context-dependent preferences. An individual context-dependent preference is a preference that an agent a has from the point of view of a given context or perspective. The preferences of a may vary from one context to another. But since they are related to the same agent, it is necessary to find common points that unite them. For this purpose, for each agent a, we first consider contexts in which a forms some narrow preferences associated only with a given perspective. Then we define broader contexts in which a combines preferences obtained in narrow ones and gets some complete picture. We also establish an ordering on the set of contexts that allows us to determine that one context is more informative for a than another in the preference choice task. If a considers some contexts to be indistinguishable, then a's preferences in these contexts coincide. In addition, we define conditions under which a changes his preferences. As a result, we obtain a single composition of a's preferences across contexts. Next, we aggregate context-dependent preferences of individual agents into different group preferences. In particular, such an aggregation results in priority merge if priorities of agents in a group are taken into account. For groups of agents, we have the same unified composition of preferences as for individual agents. In this paper, we obtain a sound and complete axiomatization of the logic Λ of context-dependent individual and group preferences.
Gennady Shtakser graduated from the Mechanics and Mathematics Department of Odessa State University (Ukraine).
He worked in the school of Professor Avenir Uyemov at the Institute of Economics of the Academy of Sciences (Ukraine).
The topic of his dissertation is related to the problems of formalization of scientific knowledge. He is the author of several papers in logical journals (Studia Logica, Journal of Logic, Language and Information, Logica Universalis), and has a review activity for Synthese.
His ORCID identifier is 0000-0003-2317-3097.