Forskningsoutput per år
Forskningsoutput per år
Personlig profil
Information om forskning och undervisning
My areas of research are primarily structural proof theory and ordinal analysis. I teach logic in Swedish at the introductory level.
Forskningsintressen
Logik, Bevisteori
Handledare för doktorandprogram
- Doktorandprogrammet i humanistiska vetenskaper
Vetenskapsgrenar
- 611 Filosofi
- strukturell bevisteori
- ordinalanalys
-
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Kanckos, A., 2026, ArXiv.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Second-Order Monadic Modal Logic with Axioms as Rules
Kanckos, A., 11 aug. 2026, I: Studia Logica. 52 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
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 s. (CEUR Workshop Proceedings; vol. Vol 3326).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
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, I: Metascience.Forskningsoutput: Tidskriftsbidrag › Bok/film/artikelrecension › Vetenskaplig
Öppen tillgång -
Kurt Gödel's reception of Charles Hartshorne's ontological proof
Kanckos, A. & Lethen, T., 2022, The Vienna Circle and Religion. Ramharter, E. (red.). Cham: Springer International Publishing, s. 183-196 14 s. (Vienna Circle Institute Yearbook).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review
Öppen tillgångFil
-
The philosophical roots of mathematical logic
Kanckos, A. (!!Invited speaker)
4 apr. 2022 → 6 apr. 2022Aktivitet: Typer för tal eller presentation › !!Invited talk
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Kanckos, A. (Medlem av vetenskaplig kommitté)
11 aug. 2022Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Advances in Modal Logic 2020
Kanckos, A. (Medlem i organisationskommitté)
24 aug. 2020 → 28 aug. 2020Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium