This article is cited in 5 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

Language: English

DOI: 10.1007/s11225-022-10021-6

Bibliographic databases:

•