This article is cited in 3 papers

On structural proof theory of the modal logic $K^+$ extended with infinitary derivations

Daniyar Shamkanov

Steklov Mathematical Institute of Russian Academy of Sciences, 8 Gubkina St., Moscow 119991, Russia

Received: 13.10.2023
Revised: 30.09.2024
Accepted: 04.10.2024

Language: English

DOI: 10.1093/jigpal/jzae121

Bibliographic databases:

• 
• 

ArXiv: 2310.10309