Advances in Modal Logic Volume 9Thomas Bolander, Torben Brauner, Silvio Ghilardi · First published 2012Open the Tome
Frontiers of Combining SystemsSilvio Ghilardi, Roberto Sebastiani · First published 2009Open the Tome
Sheaves, games, and model completionsSilvio Ghilardi, S. Ghilardi, M. Zawadowski · First published 2002Open the Tome