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
Fields of Science
- 611 Philosophy
-
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 -
A note on Gentzen’s ordinal assignment
Kanckos, A., May 2019, In: Archive for Mathematical Logic. 58, 3-4, p. 347-352 6 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
The Development of Gödel's ontological Proof
Kanckos, A. & Lethen, T., 15 Nov 2019, In: The Review of Symbolic Logic. 14, 4, p. 1011-1029 19 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile
Activities
-
The philosophical roots of mathematical logic
Annika Kanckos (Invited speaker)
4 Apr 2022 → 6 Apr 2022Activity: Talk or presentation types › Invited talk
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Annika Kanckos (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
Annika Kanckos (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