Get started
Author

Daniel Kirchner

Observed names: D Kirchner, Daniel von Kirchner, Kirchner, Daniel, Kirchner, Daniel von
ORCID: 0000-0003-2291-8720
Observed ORCID: 0000-0003-2291-8720
OpenAlex ID: A5069024667
[Comparison of two access portals of an employee assistance program at an insurance corporation targeted to reduce stress levels of employees].
2012 · M Burnus, V Benner, et al. · PubMed · 3
Scaffolding High-Impact Practices for Asian Studies and the Environment
2021 · Brett Werner, Kyle Anderson, et al. · ASIANetwork Exchange A Journal for Asian Studies in the Liberal Arts · 1
Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)
2026 · Benzmueller, Christoph, Kirchner, Daniel · arXiv (Cornell University)
PDF
First-Order Modal Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (Extended Preprint)
2026 · Benzmüller, Christoph, Kirchner, Daniel · arXiv (Cornell University)
PDF
Wirtschaftsunterricht praktisch
2026 · Daniel von Kirchner, Peter Röben · Wochenschau Verlag eBooks
Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
2026 · Benzmüller, Christoph, Kirchner, Daniel, et al. · arXiv (Cornell University)
PDF
Works count: 7
Citation count: 4
H-index: 1
I10-index:
Year
Topic
Type