1 citations · 1 across the 4 of their papers we have counts for
4 papers · 1 filter
Rich Sequences and Decidability of Arithmetic Theories
Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine
We develop a new framework for proving the undecidability of first-order theories of structures of the form , ,…
On Expansions of Monadic Second-Order Logic with Dynamical Predicates
Joris Nieuwveld, Joël Ouaknine
Expansions of the monadic second-order (MSO) theory of the structure have been a fertile and active area of research ever since the publication of…
Model Checking Linear Temporal Logic with Standpoint Modalities
Rajab Aghamov, Christel Baier, Toghrul Karimov +4
Standpoint linear temporal logic () is a recently introduced extension of classical linear temporal logic () with standpoint modalities. Intuitively, these modalities al…
On the Decidability of Monadic Theories of Arithmetic Predicates
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld +3
We investigate the decidability of the monadic second-order (MSO) theory of the structure , for various unary predicates $P_1,\ldots,P…