Login / Signup
Annika Kanckos
ORCID
Publication Activity (10 Years)
Years Active: 2010-2022
Publications (10 Years): 4
Top Topics
Linear Time Temporal Logic
Horn Clauses
Ontological Framework
Natural Deduction
Top Venues
Arch. Math. Log.
ARQNL@IJCAR
Rev. Symb. Log.
Stud Logica
</>
Publications
</>
Annika Kanckos
Intuitionistic Derivability in Anderson's Variant of the Ontological Argument.
ARQNL@IJCAR
(2022)
Annika Kanckos
,
Tim Lethen
The Development of Gödel's Ontological Proof.
Rev. Symb. Log.
14 (4) (2021)
Annika Kanckos
A note on Gentzen's ordinal assignment.
Arch. Math. Log.
58 (3-4) (2019)
Annika Kanckos
,
Bruno Woltzenlogel Paleo
Variants of Gödel's Ontological Proof in a Natural Deduction Calculus.
Stud Logica
105 (3) (2017)
Annika Kanckos
Consistency of Heyting arithmetic in natural deduction.
Math. Log. Q.
56 (6) (2010)