W. Szwast

THE FLUTED FRAGMENT REVISITED

I. Pratt-Hartmann, W. Szwast, Lidia Tendera, 2018, The Journal of Symbolic Logic.

Asymptotic probabilities of existential second-order Gödel sentences

Leszek Pacholski, L. Pacholski, Wiesław Szwast, 1991, Journal of Symbolic Logic.

On Horn Spectra

Wiesbw Szwast, W. Szwast, 1991, Theor. Comput. Sci..

On the satisfiability problem for fragments of the two-variable logic with one transitive relation pdf

Wieslaw Szwast, Lidia Tendera, W. Szwast, 2018, J. Log. Comput..

FO^2 with one transitive relation is decidable

Wieslaw Szwast, Lidia Tendera, W. Szwast, 2013, STACS.