Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mccme.ru/dfc/2014/Program2/Kudinov_publications.pdf Дата изменения: Wed Oct 15 16:29:48 2014 Дата индексирования: Sun Apr 10 16:22:39 2016 Кодировка: Поисковые слова: п п п п п п п п п п п п п п п п п п п п п п п п п п п п п

:

. Modality.

1. .. , ..

-

-

"('14), 534-542, , 2014 2. A. Kudinov, V. Shehtman.

Derivational Modal Logics with the Difference
In: Advances in Mo dal

In: Leo Esakia on Duality in Mo dal and Intuitionistic Logics. Trends

in Logic, Springer, 2014, pp. 291-334. 3. A. Kudinov.

Neighbourhood Frame Product KxK.

Logic, v. 10. College Publications, 2014, 373-386.

.

4. ..

-

-

"('13), 5. A. Kudinov. 2013, pp. 135-138.

Derivational modal logic of real line with difference modality. Subset space logic with

Pro ceedings of Top ology, Algebra and Categories in Logic (TACL 2013), Vanderbilt, 6. Ph. Balbiani, H. van Ditmarsch, A. Kudinov.

arbitrary announcements. spaces.

Pro ceedings of 5th Indian Conference on Logic and

its Applications (ICLA 2013) pp. 233-244. 7. A. Kudinov, I. Shapirovsky, V. Shehtman. 8. A. Kudinov. 9. ..

On modal logics of Hamming
Advances -

Advances in Mo dal Logic, Volume 9, 2012, pp. 395-410.

Modal logic of some products of neighbourhood frames.

in Mo dal Logic, Volume 9, 2012, pp.386-394.

R .

"('11), . 335-339, , 2011. ISBN: 978-5-901158-16-6 10. .. . .

S5.
978-5-901158-16-6

-

-

"('11), . 353-356, , 2011. ISBN: 11. I. Shapirovsky, A. Kudinov.

of S5. logic.

Finite model property of pretransitive analogs

Top ology, Algebra and Categories in Logic (TACL 2011), Marseille, 2011,

conference pro ceedings, pp. 261-264. 12. Ph. Balbiani, A. Kudinov.

A topological interpretation of public announcement

Advances in Mo dal Logic 2010, Extended Abstracts, Moscow, pp 6-11.

.

13. .. . .

"-

14. .. . . . " "('09) . 411415, , 2009. 15. ..

" ('10) . 258-262, , 2010.

R ,

, 2008, 63:1(379), 163­164 16. A. Kudinov. On top ological mo dal logic of real line with difference mo dality. Algebraic and Top ological Metho ds in Non-Classical Logics I I I, Oxford, 2007, abstracts. 17. A. Kudinov.

Topological modal logics with difference modality.

Advances

in Mo dal Logic, Volume 6, pp 319-332, 2006

1


18. A. Kudinov.

Topological modal logic with the difference modality. Difference modality in topological spaces.

Computer

science applications of mo dal logic, Indep endent University of Moscow, 2005, abstracts, pp. 27-28. 19. A. Kudinov. 2005. Algebraic and

Top ological Metho ds in Non-classical Logics I I, Barcelona, abstracts, pp.50-51,

2