View in EDS HTML Full Text PDF Full Text

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

Saved in:

Bibliographic Details
Title:	On structural proof theory of the modal logic K+ extended with infinitary derivations.
Authors:	Shamkanov, Daniyar¹
Source:	Logic Journal of the IGPL; Jun2025, Vol. 33 Issue 3, p1-46, 46p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	13670751
DOI:	10.1093/jigpal/jzae121