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.

[BibT_eX]

[DOI]

Stud Logica, 2022

2018

Truth, Partial Logic and Infinitary Proof Systems.

[BibT_eX]

[DOI]

Stud Logica, 2018