Alexandre Vigny

activity

20242026

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2026

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes

Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis +2

Disjoint-paths logic, denoted $FO$ + $dp$ , extends first-order logic ( $FO$ ) with atomic predicates $dp_{r} [(x_{1}, y_{1}), \dots, (x_{r}, y_{r})]$ , expressing…

cs.LO2024

Advances in Algorithmic Meta Theorems

Sebastian Siebertz, Alexandre Vigny

Tractability results for the model checking problem of logics yield powerful algorithmic meta theorems of the form: Every computational problem expressible in a logic $L$ can be so…