Volume: Vol-3806 UkrPROG 2024 | Year: 2024

Paper: « S_47_Shynkarenko_Makarov | S_49_Shkilniak | S_31_Nesterenko_Trofymchuk »

Transitional Modal Logics of Quasiary Predicates with Equality and Sequent Calculi for these Logics

• Stepan S. Shkilniak dblp
• Oksana Shkilniak dblp

30-49 PDF