Crossmark

G3-style Sequent Calculi for Gurevich Logic and Its Neighbors

Crossref DOI link: https://doi.org/10.1007/s11225-024-10139-9

Published Online: 2024-09-21

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Kamide, Norihiro https://orcid.org/0000-0001-7736-8055
Negri, Sara
License Information

Text and Data Mining valid from 2024-09-21

Version of Record valid from 2024-09-21
More Information

Article History

Received: 3 September 2023

First Online: 21 September 2024

Declarations

:

: The authors have no Conflict of interest.