Johannes Czermak

According to our database, Johannes Czermak authored at least 6 papers between 1974 and 2012.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2012

Some calculus for a logic of change.

Kordula Swietorzecka, Johannes Czermak

J. Appl. Non Class. Logics, 2012

1977

A remark on Gentzen's calculus of sequents.

Johannes Czermak

Notre Dame J. Formal Log., 1977

1976

Distinct Modalities are not Equivalent in T.

Johannes Czermak

Math. Log. Q., 1976

1975

Ein Vollständigkeitsbeweis Für Die Aussagenlogischen Modalitätensysteme<i>M, S</i> 4, <i>Br</i> Und<i>S</i> 5.

Johannes Czermak

Arch. Math. Log., 1975

1974

Matrix calculi SS1M and SS1I compared with axiomatic systems.

Johannes Czermak

Notre Dame J. Formal Log., 1974

A logical calculus with descriptions.

Johannes Czermak

J. Philos. Log., 1974