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).

I work on 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. My work centres on developing formal semantics and proving the corresponding metatheoretic results, especially completeness theorems. I am particularly interested in 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