Mezhirov’s game for intuitionistic logic and its variations

АБВ
АБВ
АБВ

Обычная версия сайта

Priority areas

by year

Subject

October 1, 2026

HSE Researchers Show How Congenital Motor Disorders Affect Brain Development

Researchers from HSE University’s Institute for Cognitive Neuroscience have synthesised the findings of their previous studies on brain development in children with obstetric brachial plexus palsy and arthrogryposis. Their analysis shows that impaired motor function in early childhood not only limits children’s motor experience but also affects memory, categorical thinking, and information processing. The study has been published in Frontiers in Psychology.

October 1, 2026

Window into the Body: Scientists Develop Neural Network to Detect Risk of 15 Diseases from Retinal Images

Russian universities, with the participation of HSE University, Sber, and Z-union, have developed a neural network that can simultaneously assess the risk of 15 types of pathology from retinal photographs, including not only eye diseases but also cardiovascular conditions. The AI system can help clinicians detect potentially concerning changes at an early stage, identify signs reflecting the condition of retinal blood vessels, and determine whether a patient may need further examination. The paper has been published in Frontiers in Medicine.

September 30, 2026

'We Did Not Limit the Time for Questions'

The International Laboratory for Supercomputer Atomistic Modelling and Multi-Scale Analysis at HSE University held a major conference on molecular dynamics. Participants had the opportunity to attend all the presentations, while speakers were given as much time as they needed to answer questions. The HSE News Service interviewed Grigory Smirnov, Head of the Laboratory, and Genri Norman, Chief Research Fellow, about the conference preparations and the discussions it generated.

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications

?

Mezhirov’s game for intuitionistic logic and its variations

P. 61–63.

Pyltsyn I.

Mezhirov’s game semantics for intuitionistic logic is interesting because of its simplicity and strong connection with Kripke semantics and Kripke models. The paper tries to generalize Mezhirov’s approach in two directions: to generalize to intuitionistic logic of predicates (introduce a game between Opponent and Proponent with at least the same connection with Kripke models or with special classes of them) and to the case of a connection not only between the game and tautologies of logic, but also between the game and entailment from infinite sets of formulas.

Language: English

Full text

Keywords: Mezhirov’s game semantics

Publication based on the results of:

Доказательства и модели (2023)

In book

SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts

M.: ., 2023.

Generalizations of Mezhirov's game semantics to predicate superintuitionistic logics and the Casari formula

Pyltsyn I., / Series arXiv "math". 2023.

Game semantics allows us to look at basic logical concepts from another side. This approach to logic has a long history, there are plenty of different types of games: provability games, semantic games, etc. And there is an interesting type of provability games called Mezhirov's game proposed by Iliya Mezhirov for intuitionistic logic of propositions ...

Added: October 26, 2023