RESULTS OF UKRAINIAN LOGIC SOCIETY PRIZE – 2025
Ukrainian Logic Society in April 2025 announced the logic contest and formed a Jury consisting of:
- Prof. Dr. Anatoliy Petravchuk – Taras Shevchenko National University of
Kyiv (Chairman)
- Prof. Dr. Ihor Dutsyak – Lviv Polytechnic National University
- Dr. Yaroslav Kokhan – H. Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine
- Prof. Dr. Michael Lvov – Kherson State University
- Prof. Dr. Mykola Nikitchenko – Taras Shevchenko National University of Kyiv
- Prof. Dr. Grygoriy Zholtkevych – V. N. Karazin Kharkiv National University
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.
Bio:
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.
