Disjunctive questions, intonation, and highlighting F Roelofsen, S Van Gool Logic, language and meaning, 384-394, 2010 | 148 | 2010 |
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality M Gehrke, SJ van Gool, V Marra Journal of Algebra 417, 290-332, 2014 | 32 | 2014 |
Uniform interpolation and compact congruences SJ Van Gool, G Metcalfe, C Tsinakis Annals of pure and applied logic 168 (10), 1927-1948, 2017 | 30 | 2017 |
A non-commutative Priestley duality A Bauer, K Cvetko-Vah, M Gehrke, SJ van Gool, G Kudryavtseva Topology and its Applications 160 (12), 1423-1438, 2013 | 29 | 2013 |
Distributive envelopes and topological duality for lattices via canonical extensions M Gehrke, SJ Van Gool Order 31 (3), 435-461, 2014 | 26 | 2014 |
On generalizing free algebras for a functor DCS Coumans, SJ van Gool Journal of Logic and Computation 23 (3), 645-672, 2013 | 19 | 2013 |
Pro-aperiodic monoids via saturated models SJ Gool, B Steinberg arXiv preprint arXiv:1609.07736, 2016 | 17* | 2016 |
Sheaves and duality M Gehrke, SJ Gool Journal of Pure and Applied Algebra 222 (8), 2164-2180, 2018 | 13 | 2018 |
A model-theoretic characterization of monadic second order logic on infinite words S Ghilardi, SJ Van Gool The Journal of Symbolic Logic 82 (1), 62-76, 2017 | 12 | 2017 |
Monadic second order logic as the model companion of temporal logic S Ghilardi, S van Gool Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 12 | 2016 |
Pointlike sets for varieties determined by groups SJ Gool, B Steinberg Advances in Mathematics 348, 18-50, 2019 | 10 | 2019 |
Merge Decompositions, Two-sided Krohn–Rhodes, and Aperiodic Pointlikes SJ van Gool, B Steinberg Canadian Mathematical Bulletin 62 (1), 199-208, 2019 | 10 | 2019 |
Duality and universal models for the meet-implication fragment of IPC N Bezhanishvili, D Coumans, SJ van Gool, D De Jongh International Tbilisi Symposium on Logic, Language, and Computation, 97-116, 2013 | 10 | 2013 |
Duality and canonical extensions for stably compact spaces SJ van Gool Topology and its Applications 159 (1), 341-359, 2012 | 10 | 2012 |
Methods for canonicity SJ Van Gool Master's Thesis, Univesity of Amsterdam, The Netherlands, 2009 | 10 | 2009 |
An open mapping theorem for finitely copresented Esakia spaces SJ van Gool, L Reggio Topology and its Applications 240, 69-77, 2018 | 3 | 2018 |
On sheaves and duality SJ van Gool Radboud University Nijmegen, 2014 | 3 | 2014 |
Free Algebras for Gödel-Löb Provability Logic. SJ van Gool Advances in Modal Logic 10, 217-233, 2014 | 3 | 2014 |
Constructing the Lindenbaum algebra for a logic step-by-step using duality D Coumans, SJ van Gool [Sl]: College Publications, 2012 | | 2012 |