Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic
Crossref DOI link: https://doi.org/10.1007/s10817-022-09653-z
Published Online: 2022-12-30
Published Print: 2023-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fiorino, Guido http://orcid.org/0000-0002-0556-0723
Text and Data Mining valid from 2022-12-30
Version of Record valid from 2022-12-30
Article History
Received: 4 March 2021
Accepted: 10 November 2022
First Online: 30 December 2022