Crossmark

Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic

Crossref DOI link: https://doi.org/10.1007/s11225-021-09944-3

Published Online: 2021-05-30

Published Print: 2021-12

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

Authors

Figallo, Martín http://orcid.org/0000-0001-6272-5419
License Information

Text and Data Mining valid from 2021-05-30

Version of Record valid from 2021-05-30
More Information

Article History

Accepted: 21 February 2021

First Online: 30 May 2021

Change Date: 29 January 2022

Change Type: Correction

Change Details: A Correction to this paper has been published:

Change Details: https://doi.org/10.1007/s11225-021-09982-x