19 citations · 38 across the 6 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2021
Time Warps, from Algebra to Algorithms
Sam van Gool, Adrien Guatto, George Metcalfe +1
Graded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous…
math.LO2019★ 19 cited
Uniform Interpolation and Compact Congruences
S. J. v. Gool, G. Metcalfe, C. Tsinakis
Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the fin…
math.LO2016
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…