Grigorii Stepanov

According to our database¹, Grigorii Stepanov authored at least 1 paper in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Strong Completeness of the Closed Fragment of GLP.

[BibT_eX]

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024