Davide Catta

Available identifiers

zbMath Open catta.davideMaRDI QIDQ2080587

List of research outcomes

Publication	Date of Publication	Type
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.	2019-10-29	Paper

Research outcomes over time

This page was built for person: Davide Catta