Igor Gorbunov

dblp:35/5086 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
1since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 1 since 2021
YearPublicationVenuePosition
2024 Extensions of Solovay's system S without independent sets of axioms
Igor Gorbunov, Dmitry Shkatov
Ann. Pure Appl. Log.1
2006 A decidable modal logic that is finitely undecidable
Igor Gorbunov
Advances in Modal Logic1