Research output per year
Research output per year
Personal profile
Description of research and teaching
My areas of research are primarily structural proof theory and ordinal analysis. I teach logic in Swedish at the introductory level.
Research interests
Logic, Proof theory
Supervisor for doctoral programme
- Doctoral programme in the Humanities
Fields of Science
- 611 Philosophy
-
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Kanckos, A., 2026, ArXiv.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
-
Second-Order Monadic Modal Logic with Axioms as Rules
Kanckos, A., 11 Aug 2026, In: Studia Logica. 52 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument
Kanckos, A., 2022, CEUR Workshop Proceedings: Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022. 18 p. (CEUR Workshop Proceedings; vol. Vol 3326).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Kurt Gödel behind the rational mathematics: Review of S. Budiansky: Journey to the edge of reason - the life of Kurt Gödel
Kanckos, A., 12 Apr 2022, In: Metascience.Research output: Contribution to journal › Book/Film/Article review › Scientific
Open Access -
Kurt Gödel's reception of Charles Hartshorne's ontological proof
Kanckos, A. & Lethen, T., 2022, The Vienna Circle and Religion. Ramharter, E. (ed.). Cham: Springer International Publishing, p. 183-196 14 p. (Vienna Circle Institute Yearbook).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
Open AccessFile
Activities
-
The philosophical roots of mathematical logic
Kanckos, A. (Invited speaker)
4 Apr 2022 → 6 Apr 2022Activity: Talk or presentation types › Invited talk
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Kanckos, A. (Scientific Committee Member)
11 Aug 2022Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Advances in Modal Logic 2020
Kanckos, A. (Member of organizing committee)
24 Aug 2020 → 28 Aug 2020Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars