Piazza, M., & Tesi, M. (2024). Analyticity with extra-logical information. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exae013 ( reposiTUm)

Cignarale, G., & Kuznets, R. (2024). A priori Belief Updates as a Method for Agent Self-recovery. Review of Analytic Philosophy, 4(1). https://doi.org/10.18494/SAM.RAP.2024.0021 ( reposiTUm)

Parent, X., & Benzmüller, C. (2024). Conditional normative reasoning as a fragment of HOL. Journal of Applied Non-Classical Logics, 34(4), 561–592. https://doi.org/10.1080/11663081.2024.2386917 ( reposiTUm)

Orlandelli, E., & Tesi, M. (2024). A Syntactic Proof of the Decidability of First-Order Monadic Logic. Bulletin of the Section of Logic, 53(2), 223–244. https://doi.org/10.18778/0138-0680.2024.03 ( reposiTUm)

Ciabattoni, A., & Tesi, M. (2024). Sequents vs Hypersequents for Aqvist Systems. In C. Benzmüller, M. Heule, & R. Schmidt (Eds.), Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (pp. 176–195). Springer. https://doi.org/10.1007/978-3-031-63501-4_10 ( reposiTUm)

Rozplokhas, D. (2024). LEGO-like Small Model Constructions for Åqvist’s Logics. In A. Ciabattoni, D. Gabelaia, & I. Sedlár (Eds.), Advances in Modal Logic (pp. 631–651). College Publications. http://hdl.handle.net/20.500.12708/202365 ( reposiTUm)

Dik, J. F., & Markovich, R. (2024). Modeling Judicial Discretion with Nuanced Permissions. In Legal Knowledge and Information Systems (pp. 48–59). IOS Press. https://doi.org/10.3233/FAIA241233 ( reposiTUm)

Arieli, O., van Berkel, K., Raddaoui, B., & Straßer, C. (2024). Deontic Reasoning Based on Inconsistency Measures. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 71–81). IJCAI Organization. https://doi.org/10.24963/kr.2024/7 ( reposiTUm)

Ciabattoni, A. (2024, September). Proof surgeries in non-classical logics [Conference Presentation]. NCL’24: Non-Classical Logics: Theory and Applications 2024, Lodz, Poland. ( reposiTUm)

Ciabattoni, A. (2024, June 24). Normative Reasoning: from Sanskrit philosophy to AI [Conference Presentation]. Logic Colloquium 2024, Göteburg, Sweden. ( reposiTUm)

Tesi, M. (2024, March). Sequents vs. Hypersequents for deontic logics [Conference Presentation]. Proof, Argumentation, Computation, Modalities and Negation (PACMAN 2024), Verona, Italy. ( reposiTUm)

Fermüller, C. (2024, January 15). Games in Logic [Conference Presentation]. World logic day 2024, Wien, Austria. ( reposiTUm)

Tesi, M. (2024, January 18). Subintuitionistic logics and their modal companions: a nested approach [Presentation]. Logic Seminar Verona 2024, Verona, Italy. ( reposiTUm)

Tesi, M. (2024, June). Ways to infinity in structural proof theory [Conference Presentation]. PLEXUS Workshop on Substructural and Non-Classical Logics, Turin, Italy. ( reposiTUm)

Dik, J. F. (2024, January 15). Permission in Deontic Logic: from Sanskrit Philosophy to AI [Conference Presentation]. World Logic Day in Vienna (2024), Wien, Austria. ( reposiTUm)

Tesi, M. (2024, February 15). Constructive theories through a modal lens [Conference Presentation]. Workshop “The art of Proofs,” Bologna, Italy. ( reposiTUm)

van Berkel, K. (2024, October 16). Deontic Explanations Through Dialogue and 5 Key Challenges [Conference Presentation]. ENIGMA 2024, Luxembourg, Luxembourg. ( reposiTUm)

Parent, X. (2024, October 16). Defeasible conditional ought in 2-D [Conference Presentation]. ENIGMA 2024, Luxemburg, Luxembourg. ( reposiTUm)

Istenic Urh, B. (2024, October 16). What is there to explain? Some initial remarks on deontic explanations [Conference Presentation]. ENIGMA 2024, Luxembourg, Luxembourg. http://hdl.handle.net/20.500.12708/207954 ( reposiTUm)

Dik, J. F. (2024, September 12). Mīmāṁsā on “Better-Not” Permissions [Conference Presentation]. Logic(s) of Normativity and the Normativity of Logic(s) 2024, Salzburg, Austria. http://hdl.handle.net/20.500.12708/207952 ( reposiTUm)

Dik, J. F. (2024, October 15). Exploring Nuanced Permissions within AI and Judicial Decision-making [Conference Presentation]. ENIGMA 2024, Luxemburg, Luxembourg. ( reposiTUm)

Parent, X., & Benzmüller, C. (2024). Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). ( reposiTUm)

Ciabattoni, A., Olivetti, N., & Parent, X. (2024). Dyadic obligations: proofs and countermodels via hypersequents. arXiv. https://doi.org/10.48550/arXiv.2406.09088 ( reposiTUm)