1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2026
Definability of Functional Properties in the Basic Modal-Temporal Language over Ordered Frames
Alfredo Burrieza
We study the expressive power of the simplest modal-temporal language, obtained by adding Prior's temporal operators \(G\) and \(H\) to the basic modal language with \(\Box\). This…
cs.LO2025
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…
cs.LO2021★ 1 cited
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…