Duality For Logic On Words

Projektinformationen

DFLOW

ID Finanzhilfevereinbarung: 655941

DOI

10.3030/655941

Projekt abgeschlossen

EK-Unterschriftsdatum 12 Oktober 2015

Startdatum 1 Januar 2016

Enddatum 31 Dezember 2018

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 242 929,80

EU-Beitrag

€ 242 929,80

Koordiniert durch

UNIVERSITEIT VAN AMSTERDAM
Netherlands

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (2)

Pro-Aperiodic Monoids via Saturated Models

Autoren: Samuel J. v. Gool and Benjamin Steinberg
Veröffentlicht in: 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), 2017, Seite(n) 39:1--39:14, ISBN 978-3-95977-028-6
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2017.39

Monadic second order logic as the model companion of temporal logic

Autoren: Silvio Ghilardi and Samuel J. v. Gool
Veröffentlicht in: Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016), 2016, Seite(n) 417--426
Herausgeber: IEEE Computer Society Press

Peer reviewed articles (5)

Uniform interpolation and compact congruences

Autoren: Samuel J. van Gool, George Metcalfe, Constantine Tsinakis
Veröffentlicht in: Annals of Pure and Applied Logic, Ausgabe 168/10, 2017, Seite(n) 1927-1948, ISSN 0168-0072
Herausgeber: Elsevier BV
DOI: 10.1016/j.apal.2017.05.001

A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS

Autoren: SILVIO GHILARDI, SAMUEL J. VAN GOOL
Veröffentlicht in: The Journal of Symbolic Logic, Ausgabe 82/01, 2017, Seite(n) 62-76, ISSN 0022-4812
Herausgeber: Association for Symbolic Logic
DOI: 10.1017/jsl.2016.70

Sheaves and duality

Autoren: Mai Gehrke, Samuel J. v. Gool
Veröffentlicht in: Journal of Pure and Applied Algebra, 2017, ISSN 0022-4049
Herausgeber: Elsevier BV
DOI: 10.1016/j.jpaa.2017.09.004

An open mapping theorem for finitely copresented Esakia spaces

Autoren: Samuel J. v. Gool, Luca Reggio
Veröffentlicht in: Topology and its Applications, Ausgabe 240, 2018, Seite(n) 69-77, ISSN 0166-8641
Herausgeber: Elsevier BV
DOI: 10.1016/j.topol.2018.03.006

Merge Decompositions, Two-sided Krohn–Rhodes, and Aperiodic Pointlikes

Autoren: Samuel J. van Gool, Benjamin Steinberg
Veröffentlicht in: Canadian Mathematical Bulletin, 2019, Seite(n) 1-10, ISSN 0008-4395
Herausgeber: Canadian Mathematical Society
DOI: 10.4153/cmb-2018-014-8