Christian Köll

Latest

• SMT-Based Deontic Reasoning for Åqvist Logics