|
This article is cited in 3 scientific papers (total in 3 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
|
Statistics & downloads: |
Abstract page: | 137 |
|