Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with exponentiation”, Ann. Pure Appl. Logic, 2022, Volume 173, Issue 2,Pages <nobr>103057–33</nobr>

RUS ENG

JOURNALS // Annals of Pure and Applied Logic // Archive

Ann. Pure Appl. Logic, 2022, Volume 173, Issue 2, Pages 103057–33 (Mi apal3)

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

Language: English

DOI: 10.1016/j.apal.2021.103057

Cited by

Bibliographic databases:

ArXiv: 2001.06863

© Steklov Math. Inst. of RAS, 2026