Christian Köll
Projektass.(FWF) Dipl.-Ing.
Role
-
PreDoc Researcher
Theory and Logic, E192-05
Publications
-
SMT-based automated reasoning for åqvist’s deontic logics
/
Köll, C. (2025). SMT-based automated reasoning for åqvist’s deontic logics [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.135602
Download: PDF (1.39 MB)