Author

P. Witkowski

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

Two-Variable Logic with Arbitrarily Many Successor Relations

We study two-variable first-order logic with a finite, input-dependent number of distinguished successor relations and arbitrary additional unary and binary predicates. Each distinguished relation must be the exact immediate-successor relation of some linear order on the common domain; the orders themselves are not ava...

Jakub Michaliszyn, P. Witkowski · 1 citation

Preprint Oct 2026

Finite Satisfiability of Two-Variable Logic with Arbitrarily Many Successors

We study finite satisfiability of two-variable first-order logic over structures equipped with an arbitrary finite number of independent successor relations of linear orders. The number of successor relations is part of the input, and the vocabulary may contain further unrestricted unary and binary relations. We prove...

Artur Jeż, Jakub Michaliszyn, P. Witkowski · 0 citations