Samuel J. van Gool

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 5

Top Topics

Monadic Second Order Logic

Boolean Algebra

Decision Procedures

Top Venues

J. Log. Comput.

Advances in Modal Logic

Publications

Silvio Ghilardi, Samuel J. van Gool
A Model-Theoretic characterization of Monadic second order Logic on Infinite Words. J. Symb. Log. 82 (1) (2017)
Samuel J. van Gool, George Metcalfe, Constantine Tsinakis
Uniform interpolation and compact congruences. Ann. Pure Appl. Log. 168 (10) (2017)
Silvio Ghilardi, Samuel J. van Gool
Monadic second order logic as the model companion of temporal logic. CoRR (2016)
Samuel J. van Gool, Benjamin Steinberg
Pro-aperiodic monoids via saturated models. CoRR (2016)
Silvio Ghilardi, Samuel J. van Gool
A model-theoretic characterization of monadic second order logic on infinite words. CoRR (2015)
Mai Gehrke, Samuel J. van Gool
Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions. Order 31 (3) (2014)
Samuel J. van Gool
Free Algebras for Gödel-Löb Provability Logic. Advances in Modal Logic (2014)
Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh
Duality and Universal Models for the Meet-Implication Fragment of IPC. TbiLLC (2013)
Dion Coumans, Samuel J. van Gool
On generalizing free algebras for a functor. J. Log. Comput. 23 (3) (2013)