|
This article is cited in 4 scientific papers (total in 4 papers)
Infinitary Action Logic with Multiplexing
Stepan L. Kuznetsov, Stanislav O. Speranski Steklov Mathematical Institute of Russian Academy of Sciences, 8 Gubkina St., Moscow, Russia, 119991
Received: 24.02.2022 Revised: 11.07.2022 Accepted: 28.09.2022
Linking options:
https://www.mathnet.ru/eng/stlog4
|
|