Andrey Kudinov

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 1

Top Topics

Space Requirements

Decision Procedures

Prime Implicates

Top Venues

Advances in Modal Logic

Publications

Andrey Kudinov
On neighbourhood product of some Horn axiomatizable logics. Log. J. IGPL 26 (3) (2018)
Andrey Kudinov
Neighbourhood Frame Product KxK. Advances in Modal Logic (2014)
Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov
Subset Space Logic with Arbitrary Announcements. ICLA (2013)
Andrey Kudinov
Derivational modal logic of real line with difference modality. TACL (2013)
Andrey Kudinov
Modal Logic of Some Products of Neighborhood Frames. Advances in Modal Logic (2012)
Andrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman
On Modal Logics of Hamming Spaces. Advances in Modal Logic (2012)
Andrey Kudinov
Topological Modal Logics with Difference Modality CoRR (2010)
Andrey Kudinov
Topological Modal Logics with Difference Modality. Advances in Modal Logic (2006)