73 citations · 149 across the 21 of their papers we have counts for
3 papers · 1 filter
Monadic second order logic as the model companion of temporal logic
Silvio Ghilardi, Samuel J. van Gool
The main focus of this paper is on bisimulation-invariant MSO, and more particularly on giving a novel model-theoretic approach to it. In model theory, a model companion of a theor…
Counting Constraints in Flat Array Fragments
Francesco Alberti, Silvio Ghilardi, Elena Pagani
We identify a fragment of Presburger arithmetic enriched with free function symbols and cardinality constraints for interpreted sets, which is amenable to automated analysis. We es…
Fixed-point elimination in the intuitionistic propositional calculus
Silvio Ghilardi, Maria Joao Gouveia, Luigi Santocanale
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Prop…