From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Modal Logics with Transitive Closure: Completeness, Decidability, Filtration.

S. Kikot, I. Shapirovsky, и E. Zolin. AiML, стр. 369-388. College Publications, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Products of modal logics and tensor products of modal algebras.D. Gabbay, I. Shapirovsky, и V. Shehtman. J. Appl. Log., 12 (4): 570-583 (2014)On PSPACE-decidability in Transitive Modal Logic.I. Shapirovsky. Advances in Modal Logic, стр. 269-287. King's College Publications, (2004)Modal Logics of Finite Direct Powers of Have the Finite Model Property.I. Shapirovsky. WoLLIC, том 11541 из Lecture Notes in Computer Science, стр. 610-618. Springer, (2019)Downward-directed transitive frames with universal relations.I. Shapirovsky. Advances in Modal Logic, стр. 413-428. College Publications, (2006)On Modal Logics of Hamming Spaces.A. Kudinov, I. Shapirovsky, и V. Shehtman. Advances in Modal Logic, стр. 395-410. College Publications, (2012)Modal Logics of Regions and Minkowski Spacetime.I. Shapirovsky, и V. Shehtman. J. Log. Comput., 15 (4): 559-574 (2005)Satisfiability Problems on Sums of Kripke Frames.I. Shapirovsky. ACM Trans. Comput. Log., 23 (3): 15:1-15:25 (2022)Filtration Safe Operations on Frames.S. Kikot, I. Shapirovsky, и E. Zolin. Advances in Modal Logic, стр. 333-352. College Publications, (2014)PSPACE-decidability of Japaridze's polymodal logic.I. Shapirovsky. Advances in Modal Logic, стр. 289-304. College Publications, (2008)Local tabularity without transitivity.I. Shapirovsky, и V. Shehtman. Advances in Modal Logic, стр. 520-534. College Publications, (2016)