Silvio Ghilardi (ghilardi-s)

Contributions to Philosophie.ch

Bibliography

Bezhanishvili, Nick and Ghilardi, Silvio. 2014. “Multiple-conclusion Rules, Hypersequents Syntax and Step Frames.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 54–73. London: King’s College Publications.
Bolander, Thomas, Braüner, Torben, Ghilardi, Silvio and Moss, Lawrence S., eds. 2012. Advances in Modal Logic. vol. IX. London: King’s College Publications.
Ghilardi, Silvio, Lutz, Carsten, Wolter, Frank and Zakharyaschev, Michael. 2006. “Conservative Extensions in Modal Logic.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 187–207. London: King’s College Publications.
Ghilardi, Silvio and Sacchetti, Lorenzo. 2004. “Filtering Unification and Most General Unifiers in Modal Logic.” The Journal of Symbolic Logic 69(3): 879–906.
Ghilardi, Silvio and Zawadowski, Marek. 1995. “Undefinability of Propositional Quantifiers in the System A4.” Studia Logica: An International Journal for Symbolic Logic 55(2): 259–271.
Ghilardi, Silvio and Zawadowski, Marek. 2002. “From Bisimulation Quantifiers to Classifying Toposes.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 193–220. Singapore: World Scientific Publishing Co.