Multi-agent systems: strategic reasonig, strategic logics, temporal logics, games in theoretical computer science.
Proof Theory: dalogical logic, modal logics, game semantics, non-commutative logics, linear logic.
Formal Semantics of natural language: anaphora, ellipsis, inference patterns recognition.
Philosophy of logic: inferentialism, antirealism.
let first_name = davide and last_name = catta in first_namelast_name2@gmail.com