Igor Gorbunov

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 2

Top Topics

Decision Procedures

Natural Language

Search Algorithm

Top Venues

Ann. Pure Appl. Log.

Publications

Igor Gorbunov, Dmitry Shkatov
Extensions of Solovay's system S without independent sets of axioms. Ann. Pure Appl. Log. 175 (Issue 1, Part A) (2024)
Igor Gorbunov, Dmitry Shkatov
On Independent Axiomatizability of Quasi-Normal Modal Logics. Stud Logica 110 (5) (2022)
Igor Gorbunov
A decidable modal logic that is finitely undecidable. Advances in Modal Logic (2006)