Login / Signup
Roman Kuznets
ORCID
Publication Activity (10 Years)
Years Active: 2000-2024
Publications (10 Years): 37
Top Topics
Agent Systems
Modal Logic
Sequent Calculi
Top Venues
CoRR
Ann. Pure Appl. Log.
Log. J. IGPL
WoLLIC
</>
Publications
</>