On structural proof theory of the modal logic K+ extended with infinitary derivations.
Saved in:
| Title: | On structural proof theory of the modal logic K+ extended with infinitary derivations. |
|---|---|
| Authors: | Shamkanov, Daniyar1 |
| 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.
|
|
Be the first to leave a comment!
