Marek W. Zawadowski

	2000
7		Silvio Ghilardi, Marek W. Zawadowski: From Bisimulation Quantifiers to Classifying Toposes. Advances in Modal Logic 2000: 193-220
	1997
6		Silvio Ghilardi, Marek W. Zawadowski: Model Completions, r-Heyting Categories. Ann. Pure Appl. Logic 88(1): 27-46 (1997)
	1995
5		Marek W. Zawadowski: Descent and Duality. Ann. Pure Appl. Logic 71(2): 131-188 (1995)
4		Silvio Ghilardi, Marek W. Zawadowski: A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras. J. Symb. Log. 60(3): 911-939 (1995)
3		Silvio Ghilardi, Marek W. Zawadowski: Undefinability of propositional quantifiers in the modal system S4. Studia Logica 55(2): 259-271 (1995)
	1993
2		Gonzalo E. Reyes, Marek W. Zawadowski: Formal systems for modal operators on locales. Studia Logica 52(4): 595-614 (1993)
	1992
1		Andrzej Ehrenfeucht, Marek W. Zawadowski: A representation of partial Boolean algebras. Fundam. Inform. 16(3-4): 349-353 (1992)

Coauthor Index

1	Andrzej Ehrenfeucht	[1]
2	Silvio Ghilardi	[3] [4] [6] [7]
3	Gonzalo E. Reyes	[2]

Colors in the list of coauthors