Dominik Pichler

I am a PhD student in the Theory and Logic group at TU Wien, supervised by Agata Ciabattoni and co-supervised by Xavier Parent. I am affiliated with the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien).

My research concerns the semantics and proof theory of non-classical logics, with a particular focus on conditional and first-order modal logics and their applications to normative reasoning, trust, and AI. Much of this work centres on developing formal semantics and proving the corresponding metatheoretic results, especially completeness theorems. A particular interest of mine is how the expressive resources of the underlying language shape the kinds of completeness results that can be obtained.

Research interests: 

Conditional Logic · Preference Logic · First-Order Modal Logic · Deontic Logic · Logic of Trust