activity
20232026
most citedAxiomatizing modal inclusion logic and its variants

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

math.LO2025

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)

Aleksi Anttila, Rosalie Iemhoff, Fan Yang

We introduce a sequent calculus for the propositional team logic with both the split disjunction and the inquisitive disjunction consisting of a Gentzen-style system (G3-like) for…