4 citations · 6 across the 9 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2018
Uniform Interpolation for Propositional and Modal Team Logics
Giovanna D'Agostino
In this paper we consider Modal Team Logic, a generalization of Classical Modal Logic in which it is possible to describe dependence phenomena between data. We prove that most know…
cs.LO2011★ 4 cited
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
Giovanna D'Agostino, Salvatore La Torre
This volume contains the Proceedings of the Second International Symposium on Games, Automata, Languages, and Formal Verification (GandALF 2011). The conference was held in Minori…
cs.LO2010★ 2 cited
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components
Giovanna D'Agostino, Giacomo Lenzi
For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculu…