From Explicit Allowances to Defeasible Deontic Operators: A Modal View.

Agata Ciabattoni, Josephine Dik, Emiliano Lorini, Dominik Pichler, Dmitry Rozplokhas
December 2025
PDF
Type
Conference paper
Publication
26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)
Agata Ciabattoni
Agata Ciabattoni
Professor of Non-Classical Logics in Computer Science

Agata Ciabattoni is a full professor of non-classical logics in computer science. She is an expert in proof theory for non-classical logics and their applications in various fields. Among other things, she has been investigating proof theory for deontic logic, its applications in AI, connections to legal reasoning, and formalisation of the deontic reasoning of the Mı̄māmsā school of Indian philosophy.

Dominik Pichler
Dominik Pichler
PhD Student

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). In my research, I am investigating the semantics and proof theory of non-classical logics with an application focus on artificial intelligence and philosophy.