Davide Catta
From MaRDI portal
Person:2080587
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| From strategies to derivations and back: an easy completeness proof for first-order intuitionistic dialogical logic | 2025-11-17 | Paper |
| A formal approach to attack graphs Annals of Mathematics and Artificial Intelligence | 2025-10-17 | Paper |
| Reasoning about decidability of strategic logics with imperfect information and perfect recall strategies The Journal of Artificial Intelligence Research (JAIR) | 2025-03-11 | Paper |
| Canonicity of proofs in constructive modal logic | 2024-05-17 | Paper |
| Game of grounds | 2022-10-09 | Paper |
| Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution | 2022-06-24 | Paper |
| Game semantics for constructive modal logic | 2022-05-25 | Paper |
| Towards a Denotational Semantics for Proofs in Constructive Modal Logic | 2021-04-19 | Paper |
| N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57, College Publications, London, 2015, xx + 415 pp. The Bulletin of Symbolic Logic | 2019-10-29 | Paper |
Research outcomes over time
This page was built for person: Davide Catta
