Wiesław Szwast

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the satisfiability problem for fragments of two-variable logic with one transitive relation Journal Of Logic And Computation	2020-01-29	Paper
The fluted fragment revisited Journal of Symbolic Logic	2019-09-17	Paper
The fluted fragment revisited Journal of Symbolic Logic	2019-09-17	Paper
Quine's fluted fragment is non-elementary	2017-07-19	Paper
\(\mathrm{FO}^2\) with one transitive relation is decidable	2017-01-30	Paper
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
The guarded fragment with transitive guards Annals of Pure and Applied Logic	2004-08-16	Paper
Complexity Results for First-Order Two-Variable Logic with Counting SIAM Journal on Computing	2000-03-19	Paper
scientific article; zbMATH DE number 1018738 (Why is no real title available?)	1997-09-15	Paper
A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY International Journal of Foundations of Computer Science	1996-06-19	Paper
A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality Information and Computation	1994-03-24	Paper
Asymptotic probabilities of existential second-order Gödel sentences Journal of Symbolic Logic	1992-06-27	Paper
scientific article; zbMATH DE number 3842 (Why is no real title available?)	1992-06-25	Paper
On Horn spectra Theoretical Computer Science	1991-01-01	Paper
On the generator problem Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1990-01-01	Paper
An attempt to use the rough sets theory for the control of water-air relation on a given polder Bulletin of the Polish Academy of Sciences. Technical Sciences	1989-01-01	Paper
scientific article; zbMATH DE number 3916240 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Wiesław Szwast