2 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.LO2026
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…