V. B. Shehtman, “Bisimulation games and locally tabular logics”, Uspekhi Mat. Nauk, 2016, Volume 71, Issue 5(431),Pages <nobr>185–186</nobr>

RUS ENG

JOURNALS // Uspekhi Matematicheskikh Nauk // Archive

Uspekhi Mat. Nauk, 2016 Volume 71, Issue 5(431), Pages 185–186 (Mi rm9731)

This article is cited in 3 papers

In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society

Bisimulation games and locally tabular logics

V. B. Shehtman^ab

^a Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute)
^b National Research University "Higher School of Economics"

MSC: 03B45, 03B20

DOI: 10.4213/rm9731

English version: Russian Mathematical Surveys, 2016, 71:5, 979–981

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025