Samuel Jacob van Gool

According to our database, Samuel Jacob van Gool authored at least 19 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Deciding Equations in the Time Warp Algebra.

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi

Log. Methods Comput. Sci., 2024

Mechanised uniform interpolation for modal logics K, GL and iSL.

Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito

CoRR, 2024

2023

Profinite lambda-terms and parametricity.

Sam van Gool, Paul-André Melliès, Vincent Moreau

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Formalizing and Computing Propositional Quantifiers.

Hugo Férée, Sam van Gool

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Topological duality for distributive lattices, and applications.

Mai Gehrke, Sam van Gool

CoRR, 2022

First-order separation over countable ordinals.

Thomas Colcombet, Sam van Gool, Rémi Morvan

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Time Warps, from Algebra to Algorithms.

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2018

Pointlike sets for varieties determined by groups.

Samuel Jacob van Gool, Benjamin Steinberg

CoRR, 2018

2017

A Model-Theoretic characterization of Monadic second order Logic on Infinite Words.

Silvio Ghilardi, Samuel J. van Gool

J. Symb. Log., 2017

Merge decompositions, two-sided Krohn-Rhodes, and aperiodic pointlikes.

Samuel Jacob van Gool, Benjamin Steinberg

CoRR, 2017

Uniform interpolation and compact congruences.

Samuel J. van Gool, George Metcalfe, Constantine Tsinakis

Ann. Pure Appl. Log., 2017

Pro-Aperiodic Monoids via Saturated Models.

Samuel Jacob van Gool, Benjamin Steinberg

Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

2016

Monadic second order logic as the model companion of temporal logic.

Silvio Ghilardi, Sam van Gool

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2014

Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions.

Mai Gehrke, Samuel J. van Gool

Order, 2014

Free Algebras for Gödel-Löb Provability Logic.

Samuel J. van Gool

Proceedings of the Advances in Modal Logic 10, 2014

2013

On generalizing free algebras for a functor.

Dion Coumans, Samuel J. van Gool

J. Log. Comput., 2013

Duality and Universal Models for the Meet-Implication Fragment of IPC.

Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh

Proceedings of the Logic, Language, and Computation, 2013

2010

Duality and canonical extensions for stably compact spaces

Sam van Gool

CoRR, 2010

2009

Disjunctive Questions, Intonation, and Highlighting.

Floris Roelofsen, Sam van Gool

Proceedings of the Logic, Language and Meaning - 17th Amsterdam Colloquium, 2009