View in EDS HTML Full Text PDF Full Text

Gentzen-type sequent calculus for modal logic S5.

Saved in:

Bibliographic Details
Title:	Gentzen-type sequent calculus for modal logic S5.
Authors:	Alonderis, R¹, Giedra, H²
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.

Description
ISSN:	13670751
DOI:	10.1093/jigpal/jzaf007