Gentzen-type sequent calculus for modal logic S5.
Saved in:
| Title: | Gentzen-type sequent calculus for modal logic S5. |
|---|---|
| Authors: | Alonderis, R1, Giedra, H2 |
| Source: | Logic Journal of the IGPL; Jun2025, Vol. 33 Issue 3, p1-12, 12p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
