RUS
ENG
Full version
PEOPLE
Kuznets Roman Mikhailovich
Presentations in Math-Net.Ru
Realizing Public Announcements by Justifications
Roman Kuznets
International workshop "Logical Models of Reasoning and Computation"
February 1, 2012
12:45
A syntactic realization theorem for justification logics
Kai Brünnler, Remo Goetschi, Roman Kuznets
The eighth International сonference "Advances in Modal Logic" (AiML 2010)
August 25, 2010
12:25
©
Steklov Math. Inst. of RAS
, 2026