N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57 College Publications, London, 2015, xx + 415 pp. - Davide Catta (Bull. Symb. Log., 2019)

Inferential Semantics as Argumentative Dialogues. - Davide Catta; Luc Pellissier; Christian Retoré (DCAI (Special Sessions), 2020)

Logical Semantics, Dialogical Argumentation, and Textual Entailment. - Davide Catta; Richard Moot; Christian Retoré (CoRR, 2020)

Game Semantics for Constructive Modal Logic. - Matteo Acclavio; Davide Catta; Lutz Straßburger (TABLEAUX, 2021)

Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution. - Davide Catta; Symon Jory Stevens-Guille (WoLLIC, 2021)

Towards a Denotational Semantics for Proofs in Constructive Modal Logic. - Matteo Acclavio; Davide Catta; Lutz Straßburger (CoRR, 2021)

Les preuves vues comme des jeux et réciproquement: sémantique dialogique de langages naturel ou logiques. (Proofs as games and games as proofs: dialogical semantics of logical and natural languages). - Davide Catta (2021)

Towards a Formal Verification of Attack Graphs. - Davide Catta; Jean Leneutre; Vadim Malvone (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

A Proof System for Dialogical Anaphora Resolution. - Davide Catta; Richard Moot; Christian Retoré; Symon Jory Stevens-Guille (AI³@AI*IA, 2022)

Subset sabotage games & attack graphs. - Davide Catta; Jean Leneutre; Vadim Malvone (WOA, 2022)

Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). - Davide Catta; Jean Leneutre; Vadim Malvone (IPS-RCRA-SPIRIT@AI*IA, 2023)

Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. - Davide Catta; Jean Leneutre; Vadim Malvone (ECAI, 2023)

Lorenzen-Style Strategies as Proof-Search Strategies. - Matteo Acclavio; Davide Catta (EUMAS, 2023)

A Game Theoretic Approach to Attack Graphs. - Davide Catta; Antonio Di Stasio 001; Jean Leneutre; Vadim Malvone; Aniello Murano (ICAART (1), 2023)

Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (ICAART (Revised Selected Paper), 2023)

Canonicity of Proofs in Constructive Modal Logic. - Matteo Acclavio; Davide Catta; Federico Olimpieri (TABLEAUX, 2023)

Canonicity in Modal Lambda Calculus. - Matteo Acclavio; Davide Catta; Federico Olimpieri (CoRR, 2023)

Reasoning about Intuitionistic Computation Tree Logic. - Davide Catta; Vadim Malvone; Aniello Murano (AREA@ECAI, 2023)

Attack Graphs & Subset Sabotage Games. - Davide Catta; Jean Leneutre; Vadim Malvone (Intelligenza Artificiale, 2023)

From Strategies to Derivations and Back: An Easy Completeness Proof for First-Order Intuitionistic Dialogical Logic. - Davide Catta (Perspectives on Deduction, 2024)

Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. - Davide Catta; Jean Leneutre; Vadim Malvone; Aniello Murano (AAMAS, 2024)

Temporal Truth in the Limit: Yablo's Paradox in LTLf and over Potentially Infinite Traces. - Michal Tomasz Godziszewski; Davide Catta; Aniello Murano (EUMAS, 2024)

A Formal Verification Approach to Handle Attack Graphs. - Davide Catta; Jean Leneutre; Antonina Mijatovic; Johanna Ulin; Vadim Malvone (ICAART (3), 2024)

Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (PRIMA, 2024)

Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short paper). - Michal Tomasz Godziszewski; Davide Catta; Aniello Murano (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Agreement Games in Multi-Agent Systems. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (AAMAS, 2025)

Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (J. Artif. Intell. Res., 2025)

First-Order Coalition Logic. - Davide Catta; Rustam Galimullin; Aniello Murano (CoRR, 2025)