Shkilniak, O. (2025). Construction of sequent calculi of composition-nominative multimodal logics. PROBLEMS IN PROGRAMMING, 1, 1-13.
Chicago Style (17th ed.) CitationShkilniak, O.S. "Construction of Sequent Calculi of Composition-nominative Multimodal Logics." PROBLEMS IN PROGRAMMING 1 (2025): 1-13.
MLA (8th ed.) CitationShkilniak, O.S. "Construction of Sequent Calculi of Composition-nominative Multimodal Logics." PROBLEMS IN PROGRAMMING, 1, 2025, pp. 1-13.
Warning: These citations may not always be 100% accurate.