|
This article is cited in 7 scientific papers (total in 7 papers)
Infinitary action logic with exponentiation
Stepan L. Kuznetsov, Stanislav O. Speranski Steklov Mathematical Institute, 8 Gubkina St., Moscow 119991, Russia
Received: 01.04.2020 Revised: 29.06.2021 Accepted: 08.10.2021
Linking options:
https://www.mathnet.ru/eng/apal3
|
Statistics & downloads: |
Abstract page: | 143 |
|