@misc{indiciae62d324441df4, title = {Generalizations of Mezhirov's game semantics to predicate superintuitionistic logics and the Casari formula}, author = {Ivan Pyltsyn}, year = {2023}, url = {https://arxiv.org/abs/2310.16206}, note = {Source identifier: 2310.16206} }