collaborators

1 paper

cs.LO2024

Positive and monotone fragments of FO and LTL

Denis Kuperberg, Quentin Moreau

We study the positive logic FO+ on finite words, and its fragments, pursuing and refining the work initiated in [Kuperberg 2023]. First, we transpose notorious logic equivalences i…