Martin Fischer

Orcid: 0000-0003-0841-9781

Affiliations:

According to our database¹, Martin Fischer authored at least 2 papers between 2018 and 2022.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2022

Sequent Calculi for the Propositional Logic of HYPE.

[DOI]

Stud Logica, 2022

2018

Truth, Partial Logic and Infinitary Proof Systems.

[DOI]

Stud Logica, 2018