Sheaves over Heyting lattices. - Andrzej W. Jankowski; Marek W. Zawadowski (Stud Logica, 1985)

The Skolem-Löwenheim theorem in toposes. II. - Marek W. Zawadowski (Stud Logica, 1985)

A representation of partial Boolean algebras. - Andrzej Ehrenfeucht; Marek W. Zawadowski (Fundam. Informaticae, 1992)

Formal systems for modal operators on locales. - Gonzalo E. Reyes; Marek W. Zawadowski (Stud Logica, 1993)

Descent and Duality. - Marek W. Zawadowski (Ann. Pure Appl. Log., 1995)

A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras. - Silvio Ghilardi; Marek W. Zawadowski (J. Symb. Log., 1995)

Undefinability of propositional quantifiers in the modal system S4. - Silvio Ghilardi; Marek W. Zawadowski (Stud Logica, 1995)

Model Completions, r-Heyting Categories. - Silvio Ghilardi; Marek W. Zawadowski (Ann. Pure Appl. Log., 1997)

From Bisimulation Quantifiers to Classifying Toposes. - Silvio Ghilardi; Marek W. Zawadowski (Advances in Modal Logic, 2000)

Sheaves, games, and model completions - a categorical approach to nonclassical propositional logics. - Silvio Ghilardi; Marek W. Zawadowski (Springer, 2002)

Generalized Quantifiers on Dependent Types: A System for Anaphora. - Justyna Grudzinska; Marek W. Zawadowski (CoRR, 2014)

Rigidity is undecidable. - Mikolaj Bojanczyk; Stanislaw Szawiel; Marek W. Zawadowski (Math. Struct. Comput. Sci., 2014)

Theories of analytic monads. - Stanislaw Szawiel; Marek W. Zawadowski (Math. Struct. Comput. Sci., 2014)

Whence Long-Distance Indefinite Readings? Solving Chierchia's Puzzle with Dependent Types. - Justyna Grudzinska; Marek W. Zawadowski (TbiLLC, 2015)

Monads of Regular Theories. - Stanislaw Szawiel; Marek W. Zawadowski (Appl. Categorical Struct., 2015)

Generalized Płonka Sums and Products. - Marek W. Zawadowski (Appl. Categorical Struct., 2015)

Scope ambiguities, monads and strengths. - Justyna Grudzinska; Marek W. Zawadowski (J. Lang. Model., 2017)

Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches. - Justyna Grudzinska; Marek W. Zawadowski (Fundam. Informaticae, 2019)

co-Semi-analytic Functors. - Marek W. Zawadowski (Fundam. Informaticae, 2019)

Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account. - Justyna Grudzinska; Marek W. Zawadowski (J. Log. Lang. Inf., 2019)

Polyadic Quantifiers on Dependent Types. - Marek W. Zawadowski; Justyna Grudzinska (WoLLIC, 2024)