1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Sonia Marin, Paaras Padhiar
Previous works by Goré, Postniece and Tiu have provided sound and cut-free complete proof systems for modal logics extended with path axioms using the formalism of nested sequent.…