Game Semantics for Constructive Modal Logic

von Acclavio, Matteo
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

Inferential Semantics as Argumentative Dialogues

von Catta, Davide
Veröffentlicht in International Conference on Distributed Computing and Artificial Intelligence (17. : 2020 : L'Aquila) Distributed computing and artificial intelligence, special sessions, 17th International Conference (2021)

Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution

von Catta, Davide
Veröffentlicht in Logic, Language, Information, and Computation (2021)

Canonicity of Proofs in Constructive Modal Logic

von Acclavio, Matteo
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)