A logical calculus with descriptions. - Johannes Czermak (J. Philos. Log., 1974)

Matrix calculi SS1M and SS1I compared with axiomatic systems. - Johannes Czermak (Notre Dame J. Formal Log., 1974)

Ein Vollständigkeitsbeweis Für Die Aussagenlogischen ModalitätensystemeM, S 4, Br UndS 5. - Johannes Czermak (Arch. Math. Log., 1975)

Distinct Modalities are not Equivalent in T. - Johannes Czermak (Math. Log. Q., 1976)

A remark on Gentzen's calculus of sequents. - Johannes Czermak (Notre Dame J. Formal Log., 1977)

Some calculus for a logic of change. - Kordula Swietorzecka; Johannes Czermak (J. Appl. Non Class. Logics, 2012)