ÂÅÐÑÈß ÄËß ÑËÀÁÎÂÈÄßÙÈÕ
Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
ðóññêèé | english
Ïóáëèêàöèé íà ñòðàíèöå:    Page: 1 2
2021 year
Authors: Shapirovsky I.

Ilya B. Shapirovsky. Satisfiability problems on sums of Kripke frames. https://arxiv.org/abs/2012.15347

2020 year
Authors: Kikot S., Shapirovsky I., Zolin E.

S. Kikot, I. Shapirovsky, and E. Zolin. Modal logics with transitive closure: completeness, decidability, filtration. In Advances in Modal Logic, volume 13, pages 369–388, 2020. ISBN 978-1-84890-341-8. https://arxiv.org/pdf/2011.02205.pdf

2020 year
Authors: I. D., Shapirovsky I.

D.I. Saveliev and I.B. Shapirovsky. On modal logics of model-theoretic relations. Studia Logica}, 108(5):989--1017. ArXiv: https://arxiv.org/abs/1804.09810.
Go to publication

2019 year
Authors: Shapirovsky I.

Modal logics of finite direct powers of $\omega$ have the finite model property. arXiv: https://arxiv.org/abs/1903.04614, 2019.
Go to publication

2018 year
Authors: Shapirovsky I.

I.B. Shapirovsky. Glivenko’s theorem, finite height, and local tabularity. arXiv: https://arxiv.org/abs/1806.06899
Go to publication

2018 year
Authors: Shapirovsky I.

I.B. Shapirovsky. Truth-preserving operations on sums of Kripke frames. In Advances in Modal Logic, volume 12, pages 541–558. College Publications, 2018. ISBN 978-1848902558.
Download (516.9 KB)

2018 year
Authors: Shapirovsky I., Shehtman V.

I.B. Shapirovsky and V.B. Shehtman. Contemporary modal logic: between mathematics and computer science. In D.V. Zaitsev, editor, Contemporary logic: foundations, subject, and perpectives, pages 265--305. Forum, 2018. Russian.

2017 year
Authors: Kudinov A., Shapirovsky I.

A.V. Kudinov and I.B. Shapirovsky. On partitioning Kripke frames of finite depth. Izvestiya: Mathematics, 81(3), 2017. In press.

2016 year
Authors: Saveliev D.I., Shapirovsky I.

D.I. Saveliev and I.B. Shapirovsky. On modal logic of submodels. In 11th Advances in Modal Logic, Short Papers, pages 115–119, 2016.

2016 year
Authors: Kudinov A., Shapirovsky I.

A.V. Kudinov and I.B. Shapirovsky. Finite model property of modal logics of finite depth. Russian Mathematical Surveys, 71(1):164–166, 2016.

2016 year
Authors: Shapirovsky I., Shehtman V.

I. Shapirovsky and V. Shehtman. Local tabularity without transitivity. In Advances in Modal Logic, volume 11, pages 520–534. College Publications, 2016. ISBN 978-1-84890-201-5.
Download (424.5 KB)

2015 year
Authors: Balbiani Philippe, Shapirovsky I.

Philippe Balbiani and Ilya Shapirovsky. Complete axiomatizations of lexicographic sums and products of modal logics. In 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015), pages 24–26, 2015.

2015 year
Authors: Zolin E.E., Shapirovsky I.

Ilya Shapirovsky and Evgeny Zolin. On completeness of logics enriched with transitive closure modality. In 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015), pages 255–257, 2015.

2014 year
Authors: Kikot S., Shapirovsky I., Zolin Evgeny

Filtration safe operations on frames. In Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014, pages 333-352, 2014.
Go to publication

2014 year
Authors: Gabbay D., Shapirovsky I., Shehtman V.B.

Products of Modal Logics and Tensor Products of Modal Algebras. Products of modal logics and tensor products of modal algebras. Journal of Applied Logic 12 (2014), pp. 570-583

2013 year
Authors: Shapirovsky I., Shehtman V.B.

Tensor products of modal logics. In Topology, Algebra and Categories in Logic, TACL 2013, pages 198–202. Vanderbilt University, 2013.
Go to publication

2012 year
Authors: Kudinov A., Shapirovsky I., Shehtman V.

Andrey Kudinov, Ilya Shapirovsky and Valentin Shehtman. On Modal Logics of Hamming Spaces. In Advances in Modal Logic, volume 9, pages 395-410, London, 2012. King"s College Publications.

Ïóáëèêàöèé íà ñòðàíèöå:    Page: 1 2
Search for publications of I. Shapirovsky
Year of publication
from ïî
Author

Search phrase

Type of publication

Íàëè÷èå â ìåæäóíàðîäíûõ áàçàõ öèòèðîâàíèÿ
Search in department

Date descending
Date ascending
 

 

© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024
About  |  Contacts  |  Ïðîòèâîäåéñòâèå êîððóïöèè