Johannes Czermak

MaRDI QIDQ1220482zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Some calculus for a logic of change Journal of Applied Non-Classical Logics	2018-08-28	Paper
scientific article; zbMATH DE number 6751867 (Why is no real title available?)	2017-07-25	Paper
A remark on Gentzen's calculus of sequents Notre Dame Journal of Formal Logic	1977-01-01	Paper
scientific article; zbMATH DE number 3585403 (Why is no real title available?)	1977-01-01	Paper
Embeddings of classical logic in S4. II Studia Logica	1976-01-01	Paper
Distinct Modalities are not Equivalent in T Mathematical Logic Quarterly	1976-01-01	Paper
Embeddings of classical logic in S4 Studia Logica	1975-01-01	Paper
scientific article; zbMATH DE number 3485748 (Why is no real title available?)	1975-01-01	Paper
Ein Vollständigkeitsbeweis Für Die Aussagenlogischen ModalitätensystemeM, S 4,Br UndS 5 Archiv für Mathematische Logik und Grundlagenforschung	1975-01-01	Paper
A logical calculus with descriptions Journal of Philosophical Logic	1974-01-01	Paper
Matrix calculi SS1M and SS1I compared with axiomatic systems Notre Dame Journal of Formal Logic	1974-01-01	Paper

Research outcomes over time

This page was built for person: Johannes Czermak