| |
| 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) | |
| 1 | Andrzej Ehrenfeucht | [1] |
| 2 | Silvio Ghilardi | [3] [4] [6] [7] |
| 3 | Gonzalo E. Reyes | [2] |