6 citations · 7 across the 7 of their papers we have counts for
4 papers · 1 filter
A meta-modal logic for bisimulations
Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel
We propose a modal study of the notion of bisimulation. Our contribution is threefold. First, we extend the basic modal language with a new modality $\nbi$, whose intended meaning…
An Abstract Look at Awareness Models and Their Dynamics
Carlo Proietti, Fernando R. Velázquez-Quesada, Antonio Yuste-Ginel
This work builds upon a well-established research tradition on modal logics of awareness. One of its aims is to export tools and techniques to other areas within modal logic. To th…
Qualitative uncertainty and dynamics of argumentation through dynamic logic
Antonio Yuste-Ginel, Andreas Herzig
Dynamics and uncertainty are essential features of real-life argumentation, and many recent studies have focused on integrating both aspects into Dung's well-known abstract Argumen…
An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics
Alfredo Burrieza, Antonio Yuste-Ginel
The notion of argumentation and the one of belief stand in a problematic relation to one another. On the one hand, argumentation is crucial for belief formation: as the outcome of…