Infinitary action logic with exponentiation

From MaRDI portal
Publication:2067638

DOI10.1016/j.apal.2021.103057OpenAlexW3209215387MaRDI QIDQ2067638

Stepan Kuznetsov, Stanislav O. Speranski

Publication date: 18 January 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.06863




Related Items (3)



Cites Work


This page was built for publication: Infinitary action logic with exponentiation