6 citations · 7 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.AI2025
Expressivity Results for Structured Argumentation Frameworks with Uncertain Rules and Premises
Carlo Proietti, Antonio Yuste-Ginel
Modelling qualitative uncertainty in formal argumentation is essential both for practical applications and theoretical understanding. Yet, most existing work focuses on abstract mo…
cs.LO2025
A meta-modal logic for bisimulations
Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel
We propose a novel modal study of bisimulations. Our contribution is threefold. First, we extend the basic modal language with a new modality $\nbi$, whose intended meaning is univ…