Daniel Kirchner

Identifiers

• name variant Daniel Kirchner 0.60 · backfill

Papers (2)

1. Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint) cs.LO · 2026 · author #2
2. Mechanizing Principia Logico-Metaphysica in Functional Type Theory cs.LO · 2017 · author #1

Mentions

• 2605.27246 #2 · arxiv_oai · confidence 0.70 Daniel Kirchner

Frequent Coauthors

• Christoph Benzm\"uller 2 shared papers
• Edward N. Zalta 1 shared papers
• Luca Pasetto 1 shared papers