Samuel J. van Gool

Identifiers

• name variant Samuel J. van Gool 0.60 · backfill

Papers (4)

1. Monadic second order logic as the model companion of temporal logic math.LO · 2016 · author #2
2. A model-theoretic characterization of monadic second order logic on infinite words math.LO · 2015 · author #2
3. Duality and universal models for the meet-implication fragment of IPC math.LO · 2014 · author #3
4. Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality math.LO · 2013 · author #2

Mentions

• 1503.08936 #2 · backfill · confidence 0.70 Samuel J. van Gool
• 1403.0710 #3 · backfill · confidence 0.70 Samuel J. van Gool
• 1306.2839 #2 · backfill · confidence 0.70 Samuel J. van Gool

Frequent Coauthors

• Silvio Ghilardi 2 shared papers
• Dick de Jongh 1 shared papers
• Dion Coumans 1 shared papers
• Mai Gehrke 1 shared papers
• Nick Bezhanishvili 1 shared papers
• Vincenzo Marra 1 shared papers