2023S

• Deontic Logic for Normative Reasoning / 192.130 / VU

• Axiomatizing conditional normative reasoning
  2021 – 2023 / Austrian Science Fund (FWF) / Publications: 106736, 142664, 86211, 87343, 88248

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

• Dyadic Obligations: Proofs and Countermodels via Hypersequents / Ciabattoni, A., Olivetti, N., & Parent, X. (2022). Dyadic Obligations: Proofs and Countermodels via Hypersequents. In PRIMA 2022: Principles and Practice of Multi-Agent Systems.  24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings (pp. 54–71). Springer. https://doi.org/10.1007/978-3-031-21203-1_4 / Project: Lisa Meitner grant
• New Developments in Dyadic Deontic Logic / Parent, X. (2022, July 16). New Developments in Dyadic Deontic Logic [Conference Presentation]. Automated reasoning with Legal Entities workshop - New Developments in Dyadic Deontic Logic, Luxembourg, International. / Project: Lisa Meitner grant
• Dyadic deontic logic and the (non-)transitivity of betterness / Parent, X. (2022, January 17). Dyadic deontic logic and the (non-)transitivity of betterness [Conference Presentation]. Meeting Eight Ticamore, Wien, Austria. / Project: TICAMORE
• On Some Weakened Forms of Transitivity in the Logic of Norms / Parent, X. (2022). On Some Weakened Forms of Transitivity in the Logic of Norms. In O. Arieli & G. Casini (Eds.), Non-Monotonic Reasoning 2022 (NMR 2022). Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, Haifa, Israel, August 7-9, 2022 (pp. 147–150). https://doi.org/10.34726/3069 / Project: Lisa Meitner grant
• Automated Verification of Deontic Correspondences in Isabelle/HOL - First results / Parent, X., & Benzmüller, C. (2022). Automated Verification of Deontic Correspondences in Isabelle/HOL - First results. In Proceedings of Automated Reasoning in Quantified Non-Classical Logics, 4th International Workshop (associated with FLoC and IJCAR 2022). ARQNL22 - Automated Reasoning in Quantified Non-Classical Logics, 4th International Workshop (associated with FLoC and IJCAR 2022), Haifa, Israel. http://hdl.handle.net/20.500.12708/136992 / Project: Lisa Meitner grant
• Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments / Benzmüller, C., Farjami, A., & Parent, X. (2022). Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments. In S. Rahman, M. Armgardt, & H. C. N. Kvernenes (Eds.), New Developments in Legal Reasoning and Logic: From Ancient Law to Modern Legal Systems (Vol. 23, pp. 353–377). https://doi.org/10.1007/978-3-030-70084-3_14 / Project: Lisa Meitner grant
• Handbook of Deontic Logic and Normative Systems / Gabbay, D., Horty, J., Parent, X., van der Meyden, R., & van der Torre, L. (Eds.). (2021). Handbook of Deontic Logic and Normative Systems. College Publications, 2021.
• Input/Output Logic With a Consistency Check-the Case of Permission / Olszewski, M., & Parent, X. (2021). Input/Output Logic With a Consistency Check-the Case of Permission. In Proceedings of DEON2020/21 (pp. 358–375). http://hdl.handle.net/20.500.12708/58512
• A Kelsenian Deontic Logic / Ciabattoni, A., & Parent, X. (2021). A Kelsenian Deontic Logic. In Frontiers in Artificial Intelligence and Applications. Jurix 2021, 34th International Conference on Legal Knowledge and Information Systems, Vilnius, Litauen, International. https://doi.org/10.3233/faia210330

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

• Extensionality for obligations in Åqvist’s system F / Pichler, D. (2022). Extensionality for obligations in Åqvist’s system F [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.95067